Skip to main content
  • For Students
  • For Industry
  • For Members
  • Accessibility
  • Login
MIT CSAIL
  • Research
  • People
  • News
  • Events
  • About
MIT LOGO Created with Sketch.
  • Research
  • People
  • News
  • Events
  • About
  • For Students
  • For Industry
  • For Members
  • Accessibility
  • Login
  • Contact
  • Press Requests
  • Accessibility

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
default headshot
Solar-Lezama

Armando Solar-Lezama

Leads

Solar-Lezama

Armando Solar-Lezama

Research Areas

Programming Languages & Software Engineering

Impact Areas

Big Data

Lead

Solar-Lezama

Armando Solar-Lezama

default headshot
 
Solar-Lezama

Armando Solar-Lezama

MIT CSAIL

Massachusetts Institute of Technology

Computer Science & Artificial Intelligence Laboratory

32 Vassar St, Cambridge MA 02139

  • Contact
  • Press Requests
  • Accessibility