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. My current research focuses on finding formal principles and reasoning methods to ensure software security. Previously I was a bachelor’s student at Northeastern University working with Amal Ahmed on compositional compiler correctness. Sometimes I accidentally make things that people use.