CPP 2016
Mon 18 - Tue 19 January 2016 St. Petersburg, Florida, United States
co-located with POPL 2016
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
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

Show activities from other conferences

POPL 2016-profile
View general profile