Write a Blog >>
ASE 2020
Mon 21 - Fri 25 September 2020 Melbourne, Australia
Martin Kellogg

Registered user since Thu 24 Mar 2016

Name: Martin Kellogg

Bio: I’m a Ph.D. student at the University of Washington Paul G. Allen School of Computer Science & Engineering. I work in the PLSE group on lightweight software verification. My advisor is Mike Ernst.

My current work is focused on building type systems on top of the Checker Framework to solve practical problems in software engineering.

Country: United States

Affiliation: University of Washington, Seattle

Personal website: https://homes.cs.washington.edu/~kelloggm/

Research interests: Software Engineering and Programming Languages

Contributions

ASE 2020Author of Continuous Compliance within the Research Papers-track
Show activities from other conferences

Using general profile