Prof. Adam Chlipala

Professor of Computer Science
Co-Founder & CEO, Nectry

Primary DLC

Department of Electrical Engineering and Computer Science

MIT Room: 32-G842

Areas of Interest and Expertise

Computer Theorem-Proving<br>Formal Verification<br>Programming Language Design and Implementation<br>Functional Programming and Type Systems

Research Summary

Adam Chlipala's background is in programming languages and formal methods. He is interested in developing simpler and more effective abstractions for building correct, secure, and performant systems -- usually taking advantage of machine-checked mathematical proofs somehow. His work applies ideas like object-capability systems, proof-carrying code, transactions, type systems, and whole-program optimizing compilers for high-level languages; with applications in computer architecture, cryptography, databases, and operating systems, including novel designs that span traditional layers.

Recent Work