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

Contributions

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

POPL 2016-profile
View general profile