People

Zach Anderson

Gilad Arnold

Shaon Barman

Jacob Burnim

Derrick Coetzee

Seth Fowler

Joel Galenson

Ben Hindman

Thibaud Hottelier

Nick Jalbert

Sagar Jain

Susmit Jha

Pallavi Joshi

Sudeep Juvekar

Leo Meyerovich

Bill McCloskey

Chang-Seo Park

Raluca Sauciuc

Lexin Shan

Christos Stergiou

Nicholas Tung (undergraduate)

Alex Aiken (faculty)

Luca de Alfaro

Arindam Chakrabarti

Evan Chang

Kirsten Chevalier

Adam Chlipala

Jeremy Condit

Apollo Ellis (undergraduate)

Jeff Foster

David Gay

Simon Goldsmith

Sumit Gulwani

Tom Henzinger (faculty)

Ben Horrowitz

Ranjit Jhala

Chris Jones

Yamini Kannan

John Kodumal

Ben Liblit

David Mandelin

Rupak Majumdar

Freddy Mang

Scott McPeak

Marius Minea

Anders Moeller

Vinayak Prabhu

S. P. Rahul

Xavier Rival (post-doc)

Robert Schneck

AJ Shankar

Armando Solar-Lezama

Manu Sridharan

Zhendong Su

Gregoire Sutre

Liviu Tancau

Tachio Terauchi

Wes Weimer

Dan Wilkerson