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

Paul-Antoine Arras

Paul-Antoine Arras

Postdoctoral Researcher

Michael Marcozzi

Michael Marcozzi

Postdoctoral Researcher

Martin Nowack

Martin Nowack

Research Assistant

Qiyi Tang

Qiyi Tang

Research Assistant

Daniel Grumberg

Daniel Grumberg

Doctoral Student

Alumni (in alphabetical order)

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)

Former affiliated members

Peter Collingbourne

Peter Collingbourne

Collaborator (KLEE-CL)

JaeSeung Song

JaeSeung Song

Collaborator (SymbexNet)

Undergraduate Researchers (UROP program)

David Buterez

UROP in 2018

Qianyi (Rory) Shu

UROP in 2018

Mark Aduol

UROP in 2017

Andrei Brabete

UROP in 2017

Giacomo Guerci

UROP in 2016

Levente Kurusa

UROP in 2016/17

Domenico Marino

UROP in 2016

Suryansh Rastogi

UROP in 2015

Visitors

Saahil Ognawala

Visitor in 2018

Alexandru Florin Lazar

Visitor in 2015

Oscar Soria Dustmann

Visitor in 2014
https://srg.doc.ic.ac.uk/people/
srg.doc.ic.ac.uk
crawl=CC-MAIN-2019-13
17916
application/http; msgtype=response
sha1:D4HM6Q4G4THR5DH23U6KUEC3J5VW3YLO
<urn:uuid:93b9e7e1-81d1-41ca-a0e0-d9f52a8e070a>
2019-03-21T15:45:40Z
146.169.13.73
text/html
sha1:F2W7FW275PP67NTGP2KPOWIHPFI42AHR
<urn:uuid:c894d42c-6f8c-46d3-93f5-dcfcba5dcd62>
https://srg.doc.ic.ac.uk/people/
response
<urn:uuid:508e791f-43e2-4faa-bdd4-6a829fa8fea0>
isPartOf: CC-MAIN-2019-13
publisher: Common Crawl
description: Wide crawl of the web for March 2019
operator: Common Crawl Admin (info@commoncrawl.org)
hostname: ip-10-140-246-66.ec2.internal
software: Apache Nutch 1.15 (modified, https://github.com/commoncrawl/nutch/)
robots: checked via crawler-commons 0.11-SNAPSHOT (https://github.com/crawler-commons/crawler-commons)
format: WARC File Format 1.1
conformsTo: http://iipc.github.io/warc-specifications/specifications/warc-format/warc-1.1/