Jason Koenig is pursuing a Fifth Year Masters in CS at Carnegie Mellon. He graduated early from Carnegie Mellon with a Bachelors in Computer Science. His research interests are formal verifcation, static analysis techniques, and formal methods. He spent two summers at Microsoft Research Redmond working on Dafny,
an experimental verifed programming language. At Carnegie Mellon, his research has focused on static analysis for C0, a C subset targeted at introductory programming courses. In spring 2013, he interned at Johns Hopkins Applied Physics Laboratory, where he developed a tool for analyzing embedded flight software. In 2013, he received an Honorable Mention in the CRA's Outstanding Undergraduate Researcher Award.