ECOOP 2022 (series) / 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
Personal website: https://homes.cs.washington.edu/~kelloggm/
Research interests:Software Engineering and Programming Languages
Contributions
2022
ECOOP
ECOOP 2022-profile
View general profile
View general profile