Adam Chlipala

Adam Chlipala is an Associate Professor of Computer Science at MIT, which he joined in 2011. His research focuses on strong, machine-checked correctness proofs for performant computer systems. This includes the generation of low-level cryptographic code with the Fiat Cryptography project (adopted by Google Chrome and now used for most HTTPS connections) and full functional correctness proofs for computer processors with Kami (applied to several RISC-V designs). He holds a Ph.D. in computer science from Berkeley (2007) and a BS in the same from Carnegie Mellon (2003).