Principal Investigator Adam Chlipala
AI-Powered Integrated Development Environments
Adam Chlipala Arthur J. Conner (1888) Professor, MIT Department of Electrical Engineering and Computer Science (EECS)
Adam Chlipala Associate Professor, MIT Electrical Engineering & Computer Science Department