Institution. Massachusetts Institute of Technology
People
Adam Chlipala adamchlipala
PhD advisorGeorge Necula
Postdoc advisorGreg Morrisett
PhD studentsSamuel Gruetter
UndergraduateCarnegie Mellon University
Amanda Burcroff amandaburcroff
Carolyn Zech carolynzech
Daniela Rus danielarus
David Gifford davidgifford
Frédo Durand fredodurand
PhD advisorClaude Puech, George Drettakis
PhD studentsJonathan Ragan-Kelley, Tzu-Mao Li
Jonathan Ragan-Kelley jonathanragankelley
PhD advisorFrédo Durand, Saman Amarasinghe
Postdoc advisorMark Horowitz, Pat Hanrahan
PhD studentsKartik Chandra
PostdocsTzu-Mao Li
Joshua Tenenbaum joshuatenenbaum
PhD advisorWhitman Richards
PhD studentsAndreas Stuhlmüller, Kartik Chandra
UndergraduateYale University
Paul Pu Liang paulpuliang
Rachit Nigam rachitnigam
Regina Barzilay reginabarzilay
Saman Amarasinghe samanamarasinghe
Tommi Jaakkola tommijaakkola
PhD advisorMichael I. Jordan
PhD studentsNathan Srebro, Tatsunori Hashimoto
Upamanyu Sharma upamanyusharma
PhD advisorFrans Kaashoek, Nickolai Zeldovich
UndergraduateUniversity of Michigan
PhD alumni
Andreas Stuhlmüller andreasstuhlmuller
PhD advisorJoshua Tenenbaum, Noah Goodman
UndergraduateUniversity of Osnabrück
Charles Rezk charlesrezk
Daniel R. Grayson danielrgrayson
Guy L. Steele Jr. guylsteelejr
James Koppel jameskoppel
Jenna Wiens jennawiens
John C. Baez johncbaez
Jonathan Ragan-Kelley jonathanragankelley
PhD advisorFrédo Durand, Saman Amarasinghe
Postdoc advisorMark Horowitz, Pat Hanrahan
PhD studentsKartik Chandra
PostdocsTzu-Mao Li
Joshua Tenenbaum joshuatenenbaum
PhD advisorWhitman Richards
PhD studentsAndreas Stuhlmüller, Kartik Chandra
UndergraduateYale University
Karen Livescu karenlivescu
Liina Pylkkänen liinapylkkanen
Louis-Philippe Morency louisphilippemorency
Luke Zettlemoyer lukezettlemoyer
Max Z. Li maxzli
Nathan Srebro nathansrebro
Owain Evans owainevans
Samuel Gruetter samuelgruetter
PhD advisorAdam Chlipala
Postdoc advisorTimothy Roscoe
UndergraduateÉcole Polytechnique Fédérale de Lausanne
Suresh Jagannathan sureshjagannathan
PhD advisorRishiyur Sivaswami Nikhil
PhD studentsYongwei Yuan
Tal Schuster talschuster
Tatsunori Hashimoto tatsunorihashimoto
PhD advisorDavid Gifford, Tommi Jaakkola
Postdoc advisorJohn C. Duchi, Percy Liang
UndergraduateHarvard
Tommi Jaakkola tommijaakkola
PhD advisorMichael I. Jordan
PhD studentsNathan Srebro, Tatsunori Hashimoto
Tzu-Mao Li tzumaoli
PhD advisorFrédo Durand
Postdoc advisorJonathan Ragan-Kelley
Master’sNational Taiwan University
UndergraduateNational Taiwan University
Venkatesan Guruswami venkatesanguruswami
Whitman Richards whitmanrichards
Master’s alumni
Aurora Schmidt auroraschmidt
Brad A. Myers bradamyers
PhD studentsMichael Coblenz
UndergraduateMassachusetts Institute of Technology
Jonathan Ragan-Kelley jonathanragankelley
PhD advisorFrédo Durand, Saman Amarasinghe
Postdoc advisorMark Horowitz, Pat Hanrahan
PhD studentsKartik Chandra
PostdocsTzu-Mao Li
Sydney Gibson sydneygibson
UndergraduateMassachusetts Institute of Technology
Upamanyu Sharma upamanyusharma
PhD advisorFrans Kaashoek, Nickolai Zeldovich
UndergraduateUniversity of Michigan
Undergraduate alumni
Aurora Schmidt auroraschmidt
Brad A. Myers bradamyers
PhD studentsMichael Coblenz
UndergraduateMassachusetts Institute of Technology
Craig Chambers craigchambers
PhD studentsJonathan Aldrich
UndergraduateMassachusetts Institute of Technology
Jonathan Katz jonathankatz
PhD studentsMichael Rosenberg
Master’sColumbia University
UndergraduateMassachusetts Institute of Technology
Sydney Gibson sydneygibson
UndergraduateMassachusetts Institute of Technology
Yuriy Brun yuriybrun
PhD advisorNenad Medvidović
PhD studentsEmily First
UndergraduateMassachusetts Institute of Technology
Formerly here
David I. Spivak davidispivak
PhD advisorPeter Teichner
UndergraduateUniversity of Maryland, College Park
Joshua Tan joshuatan
Master’sNew York University
UndergraduateYale University
Karen Livescu karenlivescu
Lucas Wagner lucaswagner
Max Z. Li maxzli
Michael Dixon michaeldixon
UndergraduateUniversity of Michigan
Michael I. Jordan michaelijordan
Paul Beame paulbeame
PhD advisorStephen Arthur Cook
PhD studentsAshish Sabharwal
Master’sUniversity of Toronto
UndergraduateUniversity of Toronto