A
Professor profile
Adam Chlipala
Massachusetts Institute of Technology
· Computer Science
Software Engineering
Systems
Security
Cryptography
Programming Languages
Networking
About
Regular biography
Adam Chlipala is the Arthur J. Conner (1888) Professor in the Department of Electrical Engineering and Computer Science (EECS) at the Massachusetts Institute of Technology (MIT). His research interests include Programming Languages and Software Engineering, Security and Cryptography, and Systems and Networking. Chlipala's work focuses on advancing the theoretical and practical aspects of these fields. He is affiliated with the MIT Electrical Engineering and Computer Science department and can be contacted via email at adamc@csail.mit.edu or through his profile page at https://www.eecs.mit.edu/people/adam-chlipala/.