Group Members

Cristian Cadar

Cristian Cadar

Group Leader

Anastasios Andronidis

Anastasios Andronidis

Doctoral Student

Frank Busse

Frank Busse

Doctoral Student

Timotej Kapus

Timotej Kapus

Doctoral Student

Paul-Antoine Arras

Paul-Antoine Arras

Postdoctoral Researcher

Michael Marcozzi

Michael Marcozzi

Postdoctoral Researcher

Alumni

Daniel Liew

Daniel Liew

Doctoral Student (moving to Apple)

Petr Hosek

Petr Hosek

Doctoral Student (now at Google)

Tomasz Kuchta

Tomasz Kuchta

Doctoral Student (now at Qualcomm)

Paul Dan Marinescu

Paul Dan Marinescu

Doctoral Student/Research Associate (now at Facebook)

Andrea Mattavelli

Andrea Mattavelli

Postdoctoral Researcher (moving to GM Technologies)

Hristina Palikareva

Hristina Palikareva

Postdoctoral Researcher (now at Cisco)

Luís Pina

Luís Pina

Postdoctoral Researcher (now at George Mason University)

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

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