AC
Adam Chlipala
The future of programming | MIT professor, Nectry cofounder
Cambridge, Massachusetts, United States · 1 connectionMassachusetts Institute of Technology
Not on Unlinked · Imported profile. Is this you? Claim it
Is this about you? Request removal
About
I'm interested in designing computer-systems infrastructure to improve programmability, correctness, security, and performance. Most of my work uses machine-checked mathematical proof as the primary secret weapon. I'm currently focused on building demonstration systems with end-to-end proofs covering all components above the digital-abstraction boundary, including computer processors, operating systems, compilers, databases, network servers, and cryptography.
Experience
Arthur J. Conner (1888) Professor of Computer ScienceMassachusetts Institute of Technology Basic company page — company details not listed yet
Jul 2024
Jul 2024
Professor of Computer ScienceMassachusetts Institute of Technology Basic company page — company details not listed yet
Jul 2022
Jul 2022
Associate Professor of Computer ScienceMassachusetts Institute of Technology Basic company page — company details not listed yet
Jul 2018 to Jun 2022
Jul 2018 to Jun 2022
Associate Professor Without Tenure of Computer ScienceMassachusetts Institute of Technology Basic company page — company details not listed yet
Jul 2015 to Jun 2018
Jul 2015 to Jun 2018
Assistant Professor of Computer ScienceMassachusetts Institute of Technology Basic company page — company details not listed yet
Jul 2011 to Jun 2015
Jul 2011 to Jun 2015
ProgrammerTrifecta Technologies Basic company page — company details not listed yet
Jun 1998 to Aug 2000
Jun 1998 to Aug 2000
Education
University of California, Berkeley
PhD, Computer Science
2003 to 2007
PhD, Computer Science
2003 to 2007