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)
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