Write a Blog >>
Adam Chlipala

Registered user since Sun 23 Nov 2014

Name: Adam Chlipala

Bio: Adam Chlipala finished his BS in computer science at Carnegie Mellon in 2003 and his PhD in computer science at UC Berkeley in 2007. Before starting at MIT, he was a postdoctoral fellow at Harvard. His research focuses on applications of formal logic to software development and analysis. One specialty area is building machine-checked mathematical proofs of correctness for programming tools like compilers and runtime systems, and he has a general interest in the pragmatics of machine-checked mathematics. He also works in the design and implementation of functional programming languages, as in the example of his new domain-specific programming language Ur/Web, which brings strong mathematical guarantees to the world of Web applications.

Country: United States

Affiliation: MIT

Personal website: http://adam.chlipala.net/

Research interests: Applications of machine-checked proofs in implementing, compiling, verifying, and/or synthesizing software & hardware; design and implementation of typed functional programming languages


CoqPL 2016 Committee Member in Program Committee within the CoqPL-track
PEPM 2016 Invited Talk: Fiat: Extensible Code Generation with Proofs
CPP 2016 Program Co-Chair in Program Committee within the CPP-track
POPL 2016 Certified Causally Consistent Distributed Key-Value Stores
Show activities from other conferences

POPL 2016-profile
View general profile