Group Members (in the order of joining SRG)

Cristian Cadar

Cristian Cadar

Head of Group

Frank Busse

Frank Busse

Doctoral Student

Martin Nowack

Martin Nowack

Research Assistant

Ahmed Zaki

Ahmed Zaki

Doctoral Student

Arindam Sharma

Arindam Sharma

Doctoral Student

Daniel Schemmel

Daniel Schemmel

Research Assistant

Manuel Carrasco

Manuel Carrasco

Doctoral Student

Bachir Bendrissou

Bachir Bendrissou

Doctoral Student

Alumni (in the order of leaving SRG)

Paul Dan Marinescu

Paul Dan Marinescu

Doctoral Student/Research Associate (now at Meta)

Petr Hosek

Petr Hosek

Doctoral Student (now at Google)

Hristina Palikareva

Hristina Palikareva

Postdoctoral Researcher (now at Cisco)

Tomasz Kuchta

Tomasz Kuchta

Doctoral Student (now at Samsung)

Luís Pina

Luís Pina

Postdoctoral Researcher (now at Univ. of Illinois at Chicago)

Andrea Mattavelli

Andrea Mattavelli

Postdoctoral Researcher (now at GM Technologies)

Daniel Liew

Daniel Liew

Doctoral Student (now at Apple)

Paul-Antoine Arras

Paul-Antoine Arras

Postdoctoral Researcher (now at Quarkslab)

Qiyi Tang

Qiyi Tang

Research Associate (now at University of Liverpool)

Michael Marcozzi

Michael Marcozzi

Research Associate (now at Université Paris-Saclay)

Timotej Kapus

Timotej Kapus

Doctoral Student (now at Meta)

Pritam Gharat

Pritam Gharat

Research Associate (now at Microsoft Research India)

Daniel Grumberg

Daniel Grumberg

Research Assistant (now at Apple)

Jordy Ruiz

Jordy Ruiz

Research Associate (now at StatInf)

Karine Even-Mendoza

Karine Even-Mendoza

Research Associate (now at King's College London)

Anastasios Andronidis

Anastasios Andronidis

Doctoral Student (now at Worldcoin)

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)

Nixon Enraght-Moony

UROP in 2022

Thom Hughes

UROP in 2022

Charles Loveman

UROP in 2022

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