People
PIs
Armando Solar-Lezama, Associate Professor, MIT, asolar.jpg, http://people.csail.mit.edu/asolar/;
Swarat Chaudhuri, Associate Professor, UT Austin, chaudhuri.jpg;
Yisong Yue, Professor, Caltech, yue.jpg;
Regina Barzilay, Professor, MIT, barzilay.jpg;
Isil Dillig, Associate Professor, UT Austin, dillig.jpg;
Osbert Bastani, Research Assistant Professor, University of Pennsylvania, bastani.jpg;
Michael Carbin, Assistant Professor, MIT, carbin.jpg;
Martin Rinard, Professor, MIT, rinard.jpg;
Phillip Sharp, Institute Professor and Professor of Biology, MIT, sharp.jpg;
Tommi Jaakkola, Professor, MIT, jaakkola.jpg;
Noah Goodman, Associate Professor, Stanford, goodman.jpg;
Chris Jermaine, Professor, Rice, jermaine.jpg;
Advisory Board
Josh Tenenbaum, Professor, MIT, tenenbaum.jpg;
Pushmeet Kohli, Principal scientist and research team leader, Deep Mind, kohli.jpg;
Rishabh Singh, Research scientist, Google Brain, singh.jpg;
Justin Gottschlich,Head of Machine Programming Research, Intel, gottschlich.jpg;
Satish Chandra, Engineering Manager, Facebook, satish.png;
Susmit Jha, Principal Computer Scientist, SRI International, jha.jpg;