Adam Chlipala - ICFP 2018 (original) (raw)

Name:Adam Chlipala

Country:United States

Affiliation:Massachusetts Institute of Technology, USA

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

Research interests:Programming Languages & Tools, Formal Methods, Proof Assistants