Group Members

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

Alumni

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