Group Members (in the order of joining SRG)
Cristian Cadar
Head of Group
Martin Nowack
Postdoctoral Researcher
Ahmed Zaki
Doctoral Student
Arindam Sharma
Doctoral Student
Manuel Carrasco
Doctoral Student
Bachir Bendrissou
Doctoral Student
Tongjun (Albert) Zhang
Doctoral Student
Max Riffi-Aslett
Doctoral Student
Alumni (in the order of leaving SRG)
Paul Dan Marinescu
Doctoral Student/Postdoctoral Researcher (now at Meta)
Petr Hosek
Doctoral Student (now at Google)
Hristina Palikareva
Postdoctoral Researcher (now at Cisco)
Tomasz Kuchta
Doctoral Student (now at Samsung)
Luís Pina
Postdoctoral Researcher (now at Univ. of Illinois at Chicago)
Andrea Mattavelli
Postdoctoral Researcher (now at GM Technologies)
Daniel Liew
Doctoral Student (now at Apple)
Paul-Antoine Arras
Postdoctoral Researcher (now at Quarkslab)
Qiyi Tang
Postdoctoral Researcher (now at University of Liverpool)
Michael Marcozzi
Postdoctoral Researcher (now at Université Paris-Saclay)
Timotej Kapus
Doctoral Student (now at Meta)
Pritam Gharat
Postdoctoral Researcher (now at Microsoft Research India)
Daniel Grumberg
Research Assistant (now at Apple)
Jordy Ruiz
Postdoctoral Researcher (now at StatInf)
Karine Even-Mendoza
Postdoctoral Researcher (now at King's College London)
Anastasios Andronidis
Doctoral Student (now at Worldcoin)
Daniel Schemmel
Research Assistant (now at Klovo)
Frank Busse
Doctoral Student (now at Klovo)
Former affiliated members
Peter Collingbourne
Collaborator (KLEE-CL)
JaeSeung Song
Collaborator (SymbexNet)
Undergraduate Researchers (UROP program)
Daniel Wait
UROP in 2024
Nixon Enraght-Moony
UROP in 2022
Thom Hughes
UROP in 2022
Charles Loveman
UROP in 2022
Zhige Yu
UROP in 2020
Kenny Macheka
UROP in 2019
George Ordish
UROP in 2019
David Buterez
UROP in 2018
Qianyi (Rory) Shu
UROP in 2018
Mark Aduol
UROP in 2017
Andrei Brabete
UROP in 2017
Levente Kurusa
UROP in 2016/17
Daniel Grumberg
UROP in 2016
Giacomo Guerci
UROP in 2016
Domenico Marino
UROP in 2016
Timotej Kapus
UROP in 2015
Suryansh Rastogi
UROP in 2015
Visitors
Saahil Ognawala
Visitor in 2018
Alexandru Florin Lazar
Visitor in 2015
Oscar Soria Dustmann
Visitor in 2014