Hello! I’m Matthew Kolosick, and I’m a PhD candidate studying programming languages at U.C. San Diego with Ranjit Jhala and Deian Stefan. Previously I was a bachelor’s student at Northeastern University working with Amal Ahmed.

Modern software fundamentally involves a mixing of semantics: compilers transforming high-level languages into low-level machine realities, software systems built in multiple languages, security when mixing trusted and untrusted components, etc. My research focuses on using techniques from compilers, semantics, type systems, and verification to understand and better enable the composition of these semantics: from provably correct compilers that account for assembly level library semantics to efficient, provable, and secure isolation of components by leveraging high-level type systems for low-level efficiency.