| # | Name | Functions | Address |
|---|---|---|---|
| 1 | Ruzica Piskac | Group Leader | AKW 212 |
| 2 | Timos Antonopoulos | Research Scientist | AKW 210 |
| 3 | Julien Lepiller | Postdoctoral Associate | AKW 203 |
| 4 | Bill Hallahan | PhD Student | AKW 211 |
| 5 | Jialu Zhang | PhD Student | AKW 210 |
| 6 | Ning Luo | PhD Student | AKW 413 |
| 7 | Samuel Judson | PhD Student | AKW 406 |
| 8 | Ferhat Erata | PhD Student | AKW 203 |
Collaborators
| # | Name | University | |
|---|---|---|---|
| 1 | Bernd Finkbeiner | Saarland University | |
| 2 | Felix Klein | Saarland University | |
| 3 | Ranjit Jhala | UCSD | |
| 4 | Mariana Raykova | ||
| 5 | Zhong Shao | Yale University | |
| 6 | Vilhelm Sjöberg | Yale University |
Alumni
| # | Name | First Affiliation | |
|---|---|---|---|
| 1 | Mark Santolucito | Assistant Professor, Barnard College of Columbia University | |
| 2 | Ennai Zhai | Alibaba, Researcher | |
| 3 | Alex Reinking | UC Berkeley, PhD student | |
| 4 | Anton Xue | University of Pennsylvania, PhD student | |
| 5 | Max Levatich | Columbia, PhD student |