| # | Name | Functions | Address |
|---|---|---|---|
| 1 | Ruzica Piskac | Group Leader | AKW 212 |
| 2 | Timos Antonopoulos | Research Scientist | AKW 210 |
| 3 | Jialu Zhang | PhD Student | AKW 210 |
| 4 | Samuel Judson | PhD Student | AKW 211 |
| 5 | John Kolesar | PhD Student | AKW 211 |
| 6 | Ferhat Erata | PhD Student | AKW 203 |
| 7 | Ben Chaimberg | PhD Student | AKW 302 |
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 | Ning Luo | ||
| 2 | Bill Hallahan | ||
| 3 | Mark Santolucito | Assistant Professor, Barnard College of Columbia University | |
| 4 | Ennai Zhai | Alibaba, Researcher | |
| 5 | Alex Reinking | UC Berkeley, PhD student | |
| 6 | Anton Xue | University of Pennsylvania, PhD student | |
| 7 | Max Levatich | Columbia, PhD student | |
| 8 | Julien Lepiller | Postdoctoral Associate |