| |
People |
| Faculty |
Ras Bodik |
||
| George Necula |
|||
| Koushik Sen | |||
| Sanjit Seshia | |||
| Alex Aiken (Stanford University) | |||
| Tom Henzinger
(EPFL) |
|||
|
|
|||
| Programmer /
Analyst |
Dan Wilkerson |
||
|
|
|||
| Post-Doc |
Xavier Rival |
||
|
|
|||
| Graduate
Students |
Apollo Ellis (Undergraduate) |
Chris Jones Yamini Kannan |
Lexin Shan
|
|
|
|||
| Former Members |
|
||
Page maintained by Armando Solar-Lezama.