Adam Chlipala

Adam Chlipala Email and Phone Number

Arthur J. Conner (1888) Professor of Computer Science @ Massachusetts Institute of Technology
Cambridge, MA, US
Adam Chlipala's Location
Cambridge, Massachusetts, United States, United States
Adam Chlipala's Contact Details

Adam Chlipala personal email

n/a
About Adam Chlipala

I'm interested in designing computer-systems infrastructure to improve programmability, correctness, security, and performance. Most of my work uses machine-checked mathematical proof as the primary secret weapon. I'm currently focused on building demonstration systems with end-to-end proofs covering all components above the digital-abstraction boundary, including computer processors, operating systems, compilers, databases, network servers, and cryptography.

Adam Chlipala's Current Company Details
Massachusetts Institute of Technology

Massachusetts Institute Of Technology

View
Arthur J. Conner (1888) Professor of Computer Science
Cambridge, MA, US
Adam Chlipala Work Experience Details
  • Massachusetts Institute Of Technology
    Arthur J. Conner (1888) Professor Of Computer Science
    Massachusetts Institute Of Technology
    Cambridge, Ma, Us
    View
  • Massachusetts Institute Of Technology
    Arthur J. Conner (1888) Professor Of Computer Science
    Massachusetts Institute Of Technology Jul 2024 - Present
    Cambridge, Ma, Us
    View
  • Massachusetts Institute Of Technology
    Professor Of Computer Science
    Massachusetts Institute Of Technology Jul 2022 - Present
    Cambridge, Ma, Us
    View
  • Massachusetts Institute Of Technology
    Associate Professor Of Computer Science
    Massachusetts Institute Of Technology Jul 2018 - Jun 2022
    Cambridge, Ma, Us
    View
  • Massachusetts Institute Of Technology
    Associate Professor Without Tenure Of Computer Science
    Massachusetts Institute Of Technology Jul 2015 - Jun 2018
    Cambridge, Ma, Us
    View
  • Massachusetts Institute Of Technology
    Assistant Professor Of Computer Science
    Massachusetts Institute Of Technology Jul 2011 - Jun 2015
    Cambridge, Ma, Us
    View
  • Bluerock.Io
    Technical Advisor
    Bluerock.Io Jul 2018 - Present
    San Francisco, California, Us
    A formally verified microkernel and more, for safety-critical systems
    View
  • Nectry
    Cofounder
    Nectry May 2018 - Present
    View
  • Harvard University
    Postdoctoral Fellow
    Harvard University Jun 2008 - Jun 2011
    Cambridge, Massachusetts, Us
    Research at the intersection of programming languages and computer theorem proving
    View
  • Jane Street
    Ocaml Hacker
    Jane Street Sep 2007 - Apr 2008
    New York, Ny, Us
    View
  • Microsoft Research
    Research Intern
    Microsoft Research Jun 2005 - Aug 2005
    Redmond, Washington, Us
    View
  • Avaya
    Intern
    Avaya May 2001 - Aug 2001
    Morristown, New Jersey, Us
    View
  • Trifecta Technologies
    Programmer
    Trifecta Technologies Jun 1998 - Aug 2000
    Allentown, Pennsylvania, Us
    This was a summer job only.
    View

Adam Chlipala Skills

Computer Science Programming Languages Algorithms Ocaml Programming Functional Programming Latex Software Engineering C

Adam Chlipala Education Details

  • University Of California, Berkeley
    University Of California, Berkeley
    Computer Science
  • Carnegie Mellon University
    Carnegie Mellon University
    Computer Science
  • Emmaus High School
    Emmaus High School

Frequently Asked Questions about Adam Chlipala

What company does Adam Chlipala work for?

Adam Chlipala works for Massachusetts Institute Of Technology

What is Adam Chlipala's role at the current company?

Adam Chlipala's current role is Arthur J. Conner (1888) Professor of Computer Science.

What is Adam Chlipala's email address?

Adam Chlipala's email address is ad****@****ala.net

What schools did Adam Chlipala attend?

Adam Chlipala attended University Of California, Berkeley, Carnegie Mellon University, Emmaus High School.

What are some of Adam Chlipala's interests?

Adam Chlipala has interest in Vegetarian Food, Evolutionary Psychology.

What skills is Adam Chlipala known for?

Adam Chlipala has skills like Computer Science, Programming Languages, Algorithms, Ocaml, Programming, Functional Programming, Latex, Software Engineering, C.

Free Chrome Extension

Find emails, phones & company data instantly

Find verified emails from LinkedIn profiles
Get direct phone numbers & mobile contacts
Access company data & employee information
Works directly on LinkedIn - no copy/paste needed
Get Chrome Extension - Free

Aero Online

Your AI prospecting assistant

Download 750 million emails and 100 million phone numbers

Access emails and phone numbers of over 750 million business users. Instantly download verified profiles using 20+ filters, including location, job title, company, function, and industry.