Group Members (in the order of joining SRG)

Cristian Cadar

Head of Group

Anastasios Andronidis

Doctoral Student

Frank Busse

Doctoral Student

Martin Nowack

Research Assistant

Ahmed Zaki

Doctoral Student

Jordy Ruiz

Research Associate

Karine Even-Mendoza

Research Associate

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)

Former affiliated members

Peter Collingbourne

Collaborator (KLEE-CL)

JaeSeung Song

Collaborator (SymbexNet)

Frequent Collaborators

Undergraduate Researchers (UROP program)

Visitors