Members

# 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 Google  
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