Group Members

Cristian Cadar

Group Leader

Daniel Liew

Doctoral Student

Anastasios Andronidis

Doctoral Student

Luís Pina

Postdoctoral Researcher

Andrea Mattavelli

Postdoctoral Researcher

Frank Busse

Doctoral Student

Alumni

Tomasz Kuchta

Doctoral Student (now at Qualcomm)

Petr Hosek

Doctoral Student (now at Google)

Paul Dan Marinescu

Doctoral Student/Research Associate (now at Facebook)

Hristina Palikareva

Postdoctoral Researcher (now at Maxeler)

Former affiliated members

Peter Collingbourne

Collaborator (KLEE-CL)

JaeSeung Song

Collaborator (SymbexNet)

Undergraduate Researchers (UROP program)

Visitors