->

People

Faculty
Ras Bodik

George Necula
  Koushik Sen
  Sanjit Seshia

Graduate Students  

Eric Atkinson (undergraduate)

Shaon Barman

Sarah Chasins

Wontae Choi

Derrick Coetzee

Joel Galenson

Thibaud Hottelier

Ali Sinan Köksal

Leo Meyerovich

Cuong Nguyen

Mangpo Phothilimthana

Cindy Rubio González (post-doc)


Rohit Sinha

Saurabh Srivastava (post-doc)

Christos Stergiou

Nishant Totla

Emina Torlak (researcher)

Matt Torok (undergraduate)


Former Members

Gilad Arnold

Alex Aiken (faculty)

Luca de Alfaro

Zach Anderson

Jacob Burnim

Arindam Chakrabarti

Evan Chang

Kirsten Chevalier

Adam Chlipala

Jeremy Condit

Apollo Ellis (undergraduate)

Jeff Foster

Seth Fowler

David Gay

Simon Goldsmith

Sumit Gulwani

Tom Henzinger (faculty)

Ben Hindman

Ben Horrowitz

Nick Jalbert

Sagar Jain

Susmit Jha

Ranjit Jhala

Adam Jiang

Chris Jones

Pallavi Joshi

Sudeep Juvekar

Yamini Kannan

John Kodumal

Ben Liblit

Edward Lu (undergraduate)

David Mandelin

Rupak Majumdar

Freddy Mang

Bill McCloskey

Scott McPeak

Marius Minea

Anders Moeller

Chang-Seo Park

Vinayak Prabhu

Evan Pu (undergraduate)

S. P. Rahul

Philip Reames

Xavier Rival (post-doc)

Raluca Sauciuc

Robert Schneck

Lexin Shan

AJ Shankar

Armando Solar-Lezama

Manu Sridharan

Zhendong Su

Gregoire Sutre

Liviu Tancau

Tachio Terauchi

Nicholas Tung (undergraduate)

Wes Weimer

Dan Wilkerson

Richard Xia


Page maintained by Joel Galenson.