Hi! I'm a PhD student at Northeastern University, where I work with my advisor, Amal Ahmed, and the wonderful SILC lab. Before Northeastern, I was an undergrad at UC San Diego, working primarily with Deian Stefan.
My primary research interests lie in understanding systems which mix code from multiple languages. In this area, I presently focus on safe language interoperability, including safety properties for gradual typing. I use my background in systems and networking to inform my work on language semantics and interoperability. In the interests of exploring real code, I also find myself increasingly often working with WebAssembly.
I also run Internet Autonomous System 398984. Please direct any inquiries regarding that network to the contact information listed in ARIN WHOIS.
About this site
This site is typeset via a minimal layer of Racket's
preprocessor. Its body text is typeset in Matthew Butterick's
Heliotrope, and its style is otherwise derived from a theme due to my friend