| # | Name | Functions | Address |
|---|---|---|---|
| 1 | Ruzica Piskac | Group Leader | AKW 212 |
| 2 | Timos Antonopoulos | Associate Research Scientist | AKW 210 |
| 3 | Mark Santolucito | PhD Student | AKW 211 |
| 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 | Anton Xue | Undergrad Student |
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 | Ennai Zhai | Alibaba, Researcher | |
| 2 | Alex Reinking | UC Berkeley, PhD student |