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.
About this site
This site is typeset via a minimal layer of Racket's
Its body text is typeset in Matthew Butterick's Heliotrope,
and its style is otherwise heavily modified from a Hugo theme.