Adam Chlipala

Current

• Postdoctoral Fellow at Harvard University

Past

• OCaml Hacker at Jane Street Capital
• Research Intern at Microsoft Research
• Intern at Avaya

• Programmer at Trifecta Technologies

see less...

1 more...

Education

• University of California, Berkeley
• Carnegie Mellon University

Connections

114 connections

Industry

Computer Software

Websites

• My Website

Adam Chlipala’s Summary

I am interested in bringing ideas from mathematical logic (and other favorite sources of esoterica) into the Real World through programming languages and automated software analysis tools.

Adam Chlipala’s Specialties:

interactive computer theorem proving, compiler design and implementation, type theory, programming language semantics, static analysis, model checking, domain-specific programming language design and implementation, functional programming

Adam Chlipala’s Experience

• Postdoctoral Fellow

  Harvard University

  (Educational Institution; 10,001 or more employees; Higher Education industry)

  June 2008 — Present (5 months)

  Research at the intersection of programming languages and computer theorem proving

• OCaml Hacker

  Jane Street Capital

  (Privately Held; 51-200 employees; Capital Markets industry)

  September 2007 — April 2008 (8 months)

• Research Intern

  Microsoft Research

  (Public Company; 10,001 or more employees; msft; Computer Software industry)

  June 2005 — August 2005 (3 months)

• Intern

  Avaya

  (Public Company; 10,001 or more employees; av; Computer Software industry)

  May 2001 — August 2001 (4 months)

• Programmer

  Trifecta Technologies

  (Privately Held; 11-50 employees; Computer Software industry)

  June 1998 — August 2000 (2 years 3 months)

  This was a summer job only.

Adam Chlipala’s Education

• University of California, Berkeley

  PhD, Computer Science, 2003 — 2007

• Carnegie Mellon University

  BS, Computer Science, 2000 — 2003

Additional Information

Adam Chlipala’s Websites:

• My Website

Adam Chlipala’s Interests:

Functional programming, formal methods in software development, computer theorem proving, literature, vegetarian food

Adam Chlipala’s Groups:

ACM (including SIGPLAN), HCoop

•    Carnegie Mellon Alumni
•    Functional Programming
•    California Alumni Association (UC Berkeley)
•    HCoop

Adam Chlipala’s Honors:

National Defense Science and Engineering Graduate Fellowship winner, 2004
National Science Foundation Graduate Research Fellowship winner, 2004
Andrew Carnegie Scholarship, 2000-2003

Adam Chlipala’s Contact Settings

Interested In:

• career opportunities
• consulting offers
• new ventures
• job inquiries
• expertise requests
• business deals
• reference requests
• getting back in touch