Adam Chlipala is an Associate Professor without Tenure of Computer Science in the Department of Electrical Engineering and Computer Science at MIT. His research interests are applied logic in development tools for software and hardware, design and implementation of programming languages, and design, implementation, and applications of interactive proof assistants.
Books Authored by Adam Chlipala
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
Post date: 13 Nov 2016Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
Post date: 13 Nov 2016