Hello! I’m Matthew Kolosick, and I’m a PhD student studying programming languages at U.C. San Diego with the Programming Systems Group. 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.