Group Members

Cristian Cadar

Cristian Cadar

Group Leader

Tomasz Kuchta

Tomasz Kuchta

Doctoral Student

Daniel Liew

Daniel Liew

Doctoral Student

Anastasios Andronidis

Anastasios Andronidis

Doctoral Student

Luís Pina

Luís Pina

Postdoctoral Researcher

Andrea Mattavelli

Andrea Mattavelli

Postdoctoral Researcher

Alumni

Petr Hosek

Petr Hosek

Doctoral Student (now at Google)

Paul Dan Marinescu

Paul Dan Marinescu

Doctoral Student/Research Associate (now at Facebook)

Hristina Palikareva

Hristina Palikareva

Postdoctoral Researcher (now at Maxeler)

Former affiliated members

Peter Collingbourne

Peter Collingbourne

Collaborator (KLEE-CL)

Oscar Soria Dustmann

Oscar Soria Dustmann

Visitor in 2014

JaeSeung Song

JaeSeung Song

Collaborator (SymbexNet)