Home People Adam Chlipala People FacultyFaculty AI+DFaculty CSFaculty EEFaculty EmeritusLecturers Leadership Staff Associate Professor of CS, [CS] firstname.lastname@example.org (617) 324-8439 Office: 32-G842 Website Research Areas Programming Languages and Software EngineeringSecurity and CryptographySystems and Networking Latest News More News August 31, 2020 Roundup: EECS faculty & lecturers awards and honors, 2019-2020 Muriel Médard, Cecil H. Green Professor, received an honorary doctorate from the Technological University of Munich in January 2020. July 30, 2019 Making it easier to program and protect the web EECS Professor Adam Chlipala builds tools to help programmers more quickly generate optimized, secure code. June 26, 2019 Roundup: EECS faculty awards, prizes, fellowships, and other honors, 2018-2019 Constantinos Daskalakis and Vivienne Sze were among more than 40 EECS faculty members honored for excellence over the past academic year. May 23, 2019 EECS Celebrates: Honoring the department’s outstanding contributors The EECS community came together to celebrate faculty, student, and staff achievements over the past year. October 15, 2018 MIT reshapes itself to shape the future A gift of $350 million establishes the MIT Stephen A. Schwarzman College of Computing, an unprecedented, $1 billion commitment to world-changing breakthroughs and their ethical application.