Group Members (in the order of joining SRG)

Cristian Cadar

Group Leader

Anastasios Andronidis

Doctoral Student

Frank Busse

Doctoral Student

Timotej Kapus

Doctoral Student

Paul-Antoine Arras

Postdoctoral Researcher

Michael Marcozzi

Postdoctoral Researcher

Martin Nowack

Research Assistant

Qiyi Tang

Research Assistant

Daniel Grumberg

Doctoral Student

Alumni (in alphabetical order)

Daniel Liew

Doctoral Student (now at Apple)

Petr Hosek

Doctoral Student (now at Google)

Tomasz Kuchta

Doctoral Student (now at Qualcomm)

Paul Dan Marinescu

Doctoral Student/Research Associate (now at Facebook)

Andrea Mattavelli

Postdoctoral Researcher (now at GM Technologies)

Hristina Palikareva

Postdoctoral Researcher (now at Cisco)

Luís Pina

Postdoctoral Researcher (now at George Mason University)

Former affiliated members

Peter Collingbourne

Collaborator (KLEE-CL)

JaeSeung Song

Collaborator (SymbexNet)

Undergraduate Researchers (UROP program)

Visitors