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

151 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 (1 year 6 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
•    Cal Alumni Association | UC Berkeley
•    Domain Specific Languages User Group
•    HCoop
•    Software Development with Formal Methods
•    Alumni of Teen Programmers Unite
•    SIGPLAN members

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:

• expertise requests
• reference requests
• getting back in touch