ICFP 2021
Sun 22 - Sat 28 August 2021
Wed 25 Aug 2021 06:30 - 07:00 at Social - Ask Me Anything Chair(s): Chung-Kil Hur

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.

Wed 25 Aug

Displayed time zone: Seoul change

06:30 - 07:00
Ask Me AnythingSocial Events at Social
Chair(s): Chung-Kil Hur Seoul National University
Live Q&A
Ask Me Anything on Coq with Adam Chlipala
Social Events
Adam Chlipala Massachusetts Institute of Technology