Adam Chlipala

Adam Chlipala is a Professor of Computer Science at Massachusetts Institute of Technology. Adam is also a Technical Advisor at BedRock Systems, focusing on formally verified microkernel and safety-critical systems. Adam is the Cofounder of Nectry, and has previously held positions at Harvard University, Jane Street, Microsoft Research, Avaya, and Trifecta Technologies. Adam holds a PhD in Computer Science from the University of California, Berkeley, and a BS in Computer Science from Carnegie Mellon University.