Group Members

Cristian Cadar

Cristian Cadar

Group Leader

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

Frank Busse

Frank Busse

Doctoral Student

Alumni

Tomasz Kuchta

Tomasz Kuchta

Doctoral Student (now at Qualcomm)

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)

JaeSeung Song

JaeSeung Song

Collaborator (SymbexNet)

Undergraduate Researchers (UROP program)

Daniel Grumberg

UROP in 2016/17

Giacomo Guerci

UROP in 2016

Timotej Kapus

UROP in 2015

Levente Kurusa

UROP in 2016/17

Domenico Marino

UROP in 2016

Suryansh Rastogi

UROP in 2015

Visitors

Oscar Soria Dustmann

Visitor in 2014

Alexandru Florin Lazar

Visitor in 2015