AI-Powered Integrated Development Environments
Adam Chlipala Arthur J. Conner (1888) Professor, MIT Department of Electrical Engineering and Computer Science (EECS)
Yuriy Román Professor of Chemical Engineering, MIT Bilge Yildiz Professor of Nuclear Science and Engineering Professor of Materials Science and Engineering
Principal Investigator Jeffrey Karp
Principal Investigator Paula Hammond
Principal Investigator Wai Cheng