Group Members (in the order of joining SRG)

Cristian Cadar

Cristian Cadar

Head of Group

Anastasios Andronidis

Anastasios Andronidis

Doctoral Student

Frank Busse

Frank Busse

Doctoral Student

Martin Nowack

Martin Nowack

Research Assistant

Daniel Grumberg

Daniel Grumberg

Doctoral Student

Ahmed Zaki

Ahmed Zaki

Doctoral Student

Jordy Ruiz

Jordy Ruiz

Research Associate

Karine Even-Mendoza

Karine Even-Mendoza

Research Associate

Arindam Sharma

Arindam Sharma

Doctoral Student

Alumni (in alphabetical order)

Paul-Antoine Arras

Paul-Antoine Arras

Postdoctoral Researcher (now at Quarkslab)

Pritam Gharat

Pritam Gharat

Research Associate (now at Microsoft Research India)

Petr Hosek

Petr Hosek

Doctoral Student (now at Google)

Timotej Kapus

Timotej Kapus

Doctoral Student (now at Facebook)

Tomasz Kuchta

Tomasz Kuchta

Doctoral Student (now at Qualcomm)

Daniel Liew

Daniel Liew

Doctoral Student (now at Apple)

Michael Marcozzi

Michael Marcozzi

Research Associate (now at Université Paris-Saclay)

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 Univ. of Illinois at Chicago)

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

David Trabish

Tel Aviv University

Undergraduate Researchers (UROP program)

Zhige Yu

UROP in 2020

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