Martin Kellogg (@kellogg_martin) 's Twitter Profile
Martin Kellogg

@kellogg_martin

PhD student at @uwplse, future assistant prof at @NJIT CS. I use verification techniques to solve real problems in software.

ID: 1214731252973989888

linkhttps://homes.cs.washington.edu/~kelloggm/ calendar_today08-01-2020 02:11:21

19 Tweet

231 Followers

313 Following

Martin Kellogg (@kellogg_martin) 's Twitter Profile Photo
Martin Kellogg
@kellogg_martin

4 years ago

if you're FSE 2025 this morning, join me for an overview of my work during the doctoral symposium at 7am pacific! you can ask questions I don't know the answer to and embarrass me