Currently an assistant professor at EPFL, heading the SYSTEMF lab. Previously, a senior applied scientist at Amazon AWS.
Education
PhD candidate at MIT with Adam Chlipala as advisor.
Background
Research focuses on programming languages, compilers, and formal verification; broader interests include systems engineering, hardware design languages, security, performance engineering, and type theory.
Miscellany
Personal website provides more detailed information about research projects and contact information (e.g., GitHub, email).