Understanding the World Through Code

Funded through the NSF Expeditions in Computing Program

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