Adam Chlipala

Adam Chlipala

Hacker, Logician, and Programming Languages Geek

Greater Boston Area

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
Education
  • University of California, Berkeley
  • Carnegie Mellon University
Connections
114 connections
Industry
Computer Software
Websites

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 2008Present (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 2007April 2008 (8 months)

  • Research Intern

    Microsoft Research

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

    June 2005August 2005 (3 months)

  • Intern

    Avaya

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

    May 2001August 2001 (4 months)

  • Programmer

    Trifecta Technologies

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

    June 1998August 2000 (2 years 3 months)

    This was a summer job only.


Adam Chlipala’s Education

  • University of California, Berkeley

    PhD, Computer Science, 20032007

  • Carnegie Mellon University

    BS, Computer Science, 20002003


Additional Information

Adam Chlipala’s Websites:

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

Public profile powered by: LinkedIn

Create a public profile: Sign In or Join Now

View Adam’s full profile:

  • See who you and Adam Chlipala know in common
  • Get introduced to Adam Chlipala
  • Contact Adam Chlipala directly

View Full Profile