Group Members (in the order of joining SRG)

Cristian Cadar

Cristian Cadar

Group Leader

Anastasios Andronidis

Anastasios Andronidis

Doctoral Student

Frank Busse

Frank Busse

Doctoral Student

Timotej Kapus

Timotej Kapus

Doctoral Student

Michael Marcozzi

Michael Marcozzi

Research Associate

Martin Nowack

Martin Nowack

Research Assistant

Daniel Grumberg

Daniel Grumberg

Doctoral Student

Ahmed Zaki

Ahmed Zaki

Doctoral Student

Pritam Gharat

Pritam Gharat

Research Associate

Alumni (in alphabetical order)

Paul-Antoine Arras

Paul-Antoine Arras

Postdoctoral Researcher (now at startup)

Daniel Liew

Daniel Liew

Doctoral Student (now at 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 (now at GM Technologies)

Hristina Palikareva

Hristina Palikareva

Postdoctoral Researcher (now at Cisco)

Luís Pina

Luís Pina

Postdoctoral Researcher (now at George Mason University)

Qiyi Tang

Qiyi Tang

Research Associate (now at University of Oxford)

Former affiliated members

Peter Collingbourne

Peter Collingbourne

Collaborator (KLEE-CL)

JaeSeung Song

JaeSeung Song

Collaborator (SymbexNet)

Frequent Collaborators

Alastair Donaldson

Multicore Programming Group

Noam Rinetzky

Tel Aviv University

Undergraduate Researchers (UROP program)

Kenny Macheka

UROP in 2019

George Ordish

UROP in 2019

David Buterez

UROP in 2018

Qianyi (Rory) Shu

UROP in 2018

Mark Aduol

UROP in 2017

Andrei Brabete

UROP in 2017

Levente Kurusa

UROP in 2016/17

Daniel Grumberg

UROP in 2016

Giacomo Guerci

UROP in 2016

Domenico Marino

UROP in 2016

Timotej Kapus

UROP in 2015

Suryansh Rastogi

UROP in 2015

Visitors

Saahil Ognawala

Visitor in 2018

Alexandru Florin Lazar

Visitor in 2015

Oscar Soria Dustmann

Visitor in 2014