Group Members (in the order of joining SRG)
Cristian Cadar
Head of Group
Frank Busse
Doctoral Student/Research Assistant
Martin Nowack
Research Associate
Ahmed Zaki
Doctoral Student
Arindam Sharma
Doctoral Student
Daniel Schemmel
Research Assistant
Manuel Carrasco
Doctoral Student
Bachir Bendrissou
Doctoral Student
Alumni (in the order of leaving SRG)
Paul Dan Marinescu
Doctoral Student/Research Associate (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
Research Associate (now at University of Liverpool)
Michael Marcozzi
Research Associate (now at Université Paris-Saclay)
Timotej Kapus
Doctoral Student (now at Meta)
Pritam Gharat
Research Associate (now at Microsoft Research India)
Daniel Grumberg
Research Assistant (now at Apple)
Jordy Ruiz
Research Associate (now at StatInf)
Karine Even-Mendoza
Research Associate (now at King's College London)
Anastasios Andronidis
Doctoral Student (now at Worldcoin)
Former affiliated members
Peter Collingbourne
Collaborator (KLEE-CL)
JaeSeung Song
Collaborator (SymbexNet)
Frequent Collaborators
Alastair Donaldson
Multicore Programming Group
Noam Rinetzky
Tel Aviv University
David Trabish
Tel Aviv University
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