Adam Chlipala

Introduction:

"I'm a developer at Jane Street Capital. I recently finished my PhD in CS at Berkeley, where I worked on using dependent types and interactive theorem proving to build programming language tools with machine-checked correctness proofs."

Stats:

• Member of Meetup since October 10, 2007
• Member of this Meetup since October 10, 2007
• Last visited over two months ago

• The New York Functional Programmers Meetup Group

  Adam Chlipala's Lisp & Scheme profile

None yet.