Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020
Adam Chlipala

Registered user since Sun 23 Nov 2014

Name: Adam Chlipala

Bio: Started hacking on compilers & web-development tools in the late 1990s. Finished CS undergrad at Carnegie Mellon in 2003 and CS PhD at Berkeley in 2007, picking up mechanized proof of executable, decently practical systems with Coq as a main focus in between. Postdoc at Harvard through 2011, then faculty at MIT since. Author of Certified Programming with Dependent Types, a popular online & in-print introduction to using Coq at scale. Lately into building practical but clean-slate hardware-software stacks with end-to-end Coq proofs of everything digital, at the same time as developing a startup-company idea to trick ordinary people into using dependent types (with Ur/Web) to generate their business applications.

Country: United States

Affiliation: Massachusetts Institute of Technology

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

Research interests: Programming Languages, Formal Methods, Computer Systems, Security


ICFP 2020Session Chair of New York 1 (part of ICFP Program)
Committee Member in Virtualization Committee
Session Chair of Asia 1 (part of ICFP Program)
Session Chair of Keynote (part of ICFP Program)
Program Chair of Award Presentations & Chair Report within the ICFP Program-track
Program Chair in Program Committee within the ICFP Program-track
Committee Member in Selection Committee within the Tutorials-track
Program Chair in Organizing Committee
Show activities from other conferences

ICFP 2020-profile
View general profile