Conrad Zimmerman

Hi! I’m an incoming (September 2024) PhD student studying under Amal Ahmed in the Programming Research Laboratory at Northeastern University. I study programming languages, and I am interested in developing approaches that enable both computers and humans to more easily reason about complex applications and make guarantees about their behavior.

Before Northeastern, I worked under Jonathan Aldrich at Carnegie Mellon University and Jenna DiVincenzo (Wise) at Purdue University to develop gradual verification, a technique that seamlessly combines compile-time and run-time verification techniques to enable incremental specification and verification of code. I also worked with Catarina Gamboa at CMU on LiquidJava, which enables developers to verify their Java code using a lightweight form of refinement types.

Email: zimmerman.co at northeastern.edu