James Koppel Visiting Scientist Email Jkoppel@mit.edu Last updated May 05 '22 Groups Research Group Computer-Aided Programming We develop techniques and tools that exploit automated reasoning and large amounts of computing power to tackle challenging programming problems Armando Solar-Lezama Leads Armando Solar-Lezama Research Areas Programming Languages & Software Engineering Impact Areas Big Data Lead Armando Solar-Lezama Armando Solar-Lezama
Research Group Computer-Aided Programming We develop techniques and tools that exploit automated reasoning and large amounts of computing power to tackle challenging programming problems Armando Solar-Lezama Leads Armando Solar-Lezama Research Areas Programming Languages & Software Engineering Impact Areas Big Data Lead Armando Solar-Lezama Armando Solar-Lezama