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