Group Members (in the order of joining SRG)

Cristian Cadar

Group Leader

Anastasios Andronidis

Doctoral Student

Frank Busse

Doctoral Student

Timotej Kapus

Doctoral Student

Michael Marcozzi

Research Associate

Martin Nowack

Research Assistant

Qiyi Tang

Research Associate

Daniel Grumberg

Doctoral Student

Ahmed Zaki

Doctoral Student

Alumni (in alphabetical order)

Paul-Antoine Arras

Postdoctoral Researcher (now at startup)

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