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;
Research scientist and Project Manager
Omar Costilla-Reyes, CSAIL MIT
Students
Stephen Mell, Upenn Gabriel Poesia, Stanford Alexander Renda, MIT Eric Zhan, Caltech Cameron Voloshin, Caltech Rohan Mukherjee, Rice Arkabandhu Chowdhury, Rice Ria Das, MIT Ivan Kuraj, MIT Kayla McCue, MIT Jocelyn Chen, Utexas at Austin Greg Anderson, Utexas at Austin