About Me

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 scribble/html preprocessor. Its body text is typeset in Matthew Butterick's Heliotrope, and its style is otherwise heavily modified from a Hugo theme.