Home
I'm on the job market! Take a look at my resume and CV to see if we're a good fit.
Selected Publications
- FSE 2017Discovering Relational SpecificationsBest Paper Award
- POPL 2019
- VMCAI 2019
I'm on the job market! Take a look at my resume and CV to see if we're a good fit.