Privacy & Cookies

Linked in

Follow us on twitter

Twitter

Facebook

Instagram

Instagram

People, by research theme

Every researcher at the Department of Computer Science is categorised by primary theme, although their research may span the interests of several themes. You may also view a list of people by category or alphabetically.

Algorithms

faculty	Michael Benedikt \| Nando de Freitas \| Edith Elkind \| Leslie Ann Goldberg \| Paul Goldberg \| Georg Gottlob \| Peter Jeavons \| Elias Koutsoupias \| Thomas Lukasiewicz \| Joel Ouaknine \| Dmitrii Pasechnik \| Standa Živný
research	Andreas Galanis \| Maria Kyropoulou \| John Lapinskas \| Thomas Lukasiewicz \| Enrico Malizia \| David Richerby \| Jie Zhang \| Standa Živný
students	Ventsi Chonev \| Peter Fulla \| Matthias Gerstgrasser \| Yiannis Giannakopoulos \| Andreas Göbel \| Ayumi Igarashi \| Philip Lazos \| Ines Marusic \| Joao Sousa Pinto \| Andrius Vaicenavičius \| Ziyu Wang \| Lei Xu \| Nikola Yolov
support	Laura Marmor

Automated Verification

faculty	Alessandro Abate \| Cas Cremers \| Vojtěch Forejt \| Andrew Ker \| Stefan Kiefer \| Daniel Kroening \| Marta Kwiatkowska \| Gavin Lowe \| Tom Melham \| Luke Ong \| Joel Ouaknine \| Bill Roscoe \| James Worrell \| Hongseok Yang
research	Jade Alglave \| Philip Armstrong \| Samuel Bucheli \| Doina Bucur \| Milan Ceska \| Taolue Chen \| Klaus Draeger \| Thomas Gibson-Robinson \| Tingting Han \| Nannan He \| Paul Hunter \| Aleksandra Jovanovic \| Mark Kattenbelt \| Stephen Kell \| Stefan Kiefer \| Anthony Widjaja Lin \| Alexandru Mereacre \| Ashutosh Natraj \| Hongyang Qu \| Philipp Ruemmer \| Michael Tautschnig \| Ashutosh Trivedi \| Björn Wachter \| Georg Weissenbacher \| Dominik Wojtczak \| Lijun Zhang
students	Sara Adams \| Daniel Bundala \| Chris Chilton \| Frits Dannenberg \| Marco Diciolla \| Emanuele D'Osualdo \| Vijay D'Silva \| Lu Feng \| Matthias Fruth \| Christoph Haase \| Leopold Haller \| Ziyad Hanna \| Hsi-Ming Ho \| David Hopkins \| Jaco Jacobs \| Mark Jenkins \| Alexander Kaiser \| Mark Kattenbelt \| Pascal Kesseli \| David Landsberg \| Antonia Lechner \| Rastislav Lenhardt \| Martin Lester \| Matt Lewis \| Ivans Lubenko \| Ines Marusic \| Tomasz Mazur \| Toby Murray \| Robin Neatherway \| Vincent Nimal \| Hristina Palikareva \| Steven Ramsay \| Aistis Simaitis \| Mateusz Ujma \| Yong Xie
support	Pamela Farries \| Liz Gresham \| Elizabeth Polgreen \| Jordan Summers Young

Computational Biology

faculty	Alfonso Bueno-Orovio \| Kevin Burrage \| Kelly Burrowes \| Stephen Cameron \| Jonathan Cooper \| David Gavaghan \| Peter Jeavons \| David Kay \| Steve McKeever \| James Osborne \| Blanca Rodriguez \| Irina Voiculescu \| Jonathan Whiteley
research	Kylie Beattie \| Rafel Bordas \| Ramón Casero Cañas \| Jonathan Cooper \| Adelaide De Vecchi \| Xiao Jie \| Jack Lee \| Gary Mirams \| Steven Niederer \| Pras Pathmanathan \| Joe Pitt-Francis \| Blanca Rodriguez \| James Southern \| John Walmsley \| Nejib Zemzemi
students	Liya Asner \| Manohara Rukshan Batuwita \| Kylie Beattie \| Miguel Bernabeu \| Louise Bowler \| Douglas Bruce \| Valentina Carapella \| Lloyd Chapman \| Ali Cigari \| Anthony Connor \| Alberto Corrias \| Samuel Demharter \| Sara-Jane Dunn \| Thomas Dunton \| Mandeep Gill \| Ayush Goyal \| Eoin Hyde \| Ross Johnstone \| llyas Emir Karadag \| Katie Leonard \| Aurore Lyon \| Eamonn Maguire \| Tahir Mansoori \| Philip Maybank \| James Mbewu \| Matthew McCormick \| Beth McMillan \| Anna Muszkiewicz \| Michal Plotkowiak \| Margarita Satraki \| Tamas Szekely \| John Walmsley \| Ken Wang
support	Janet Sadler

Foundations, Logic and Structures

faculty	Samson Abramsky \| Jonathan Barrett \| Bob Coecke \| Chris Heunen \| Stefan Kiefer \| Daniel Kroening \| Marta Kwiatkowska \| Hanno Nickau \| Luke Ong \| Mehrnoosh Sadrzadeh \| Jamie Vicary
research	Bahareh Afshari \| Samuel Bucheli \| Doina Bucur \| Eric Cavalcanti \| Nadish de Silva \| Conrad Drescher \| Edward Grefenstette \| Julian Gutierrez \| Matty Hoban \| Clare Horsman \| Paul Hunter \| Stefan Kiefer \| Kohei Kishida \| Aleks Kissinger \| Martha Lewis \| Anthony Widjaja Lin \| Leon Loveridge \| Shane Mansfield \| Enrico Marchioni \| Dan Marsden \| Ashutosh Natraj \| Philipp Ruemmer \| Rui Soares Barbosa \| Michael Vanden Boom
students	Andrei Akhvlediani \| John-Mark Allen \| Markus Aschinger \| Miriam Backens \| Carmen Constantin \| Abhishek Dasgupta \| Emanuele D'Osualdo \| Penelope Economou \| Lu Feng \| Brendan Fong \| Stefano Gogioso \| Amar Hadzihasanovic \| David Hopkins \| Egor Ianovski \| Dimitri Kartsaklis \| Alex Kavvos \| David Landsberg \| Ciaran Lee \| Martin Lester \| Yoshihiro Maruyama \| Alex Merry \| Jisho Miyazaki \| Benjamin Musto \| Vaia Patta \| Karl Paulsson \| Justyna Petke \| Robin Piedeleu \| Roman Priebe \| David Quick \| Steven Ramsay \| Andre Ranchin \| András Salamon \| John Selby \| Colin Stephen \| Evgenij Thorstensen \| Matthijs Vákár \| Dominic Verdon \| Olivia Waring \| Linde Wester \| Yong Xie \| Norihiro Yamada \| William Zeng
support	Destiny Chen \| Liz Gresham \| Janet Sadler

Information Systems

faculty	Samson Abramsky \| Michael Benedikt \| Phil Blunsom \| Anisoara Calinescu \| Stephen Cameron \| Bob Coecke \| Bernardo Cuenca Grau \| Nando de Freitas \| Edith Elkind \| Georg Gottlob \| Giovanni Grasso \| Ian Horrocks \| Evgeny Kharlamov \| Egor V. Kostylev \| Stephan Kreutzer \| Markus Krötzsch \| Thomas Lukasiewicz \| Boris Motik \| Nadeschda Nikitina \| Dan Olteanu \| Vasile Palade \| Stephen Pulman \| Gerardo I. Simari \| Niki Trigoni \| Irina Voiculescu \| Michael Wooldridge
research	Vince Barany \| Radu Ciucanu \| Conrad Drescher \| Cristina Feier \| Tim Furche \| Edward Grefenstette \| Ernesto Jimenez-Ruiz \| Mark Kaminski \| Clemens Kupke \| Abby Levenberg \| Thomas Lukasiewicz \| Enrico Malizia \| Enrico Marchioni \| Sarunas Marciuska \| Maria Vanina Martinez \| Ashutosh Natraj \| Yavor Nenov \| Giorgio Orsi \| Andreas Pieris \| Robert Piro \| Gabriele Puppis \| Giorgos Stoilos \| Efthymia Tsamoura \| Michael Vanden Boom \| Zhe Wang \| Zhenghua Xu \| Dmitriy Zheleznyakov
students	Ana Armas \| Paul Baltescu \| Andrew Bate \| Manohara Rukshan Batuwita \| Jan Botha \| Robert Fink \| Helen Flynn \| Tomas Kocisky \| Clemens Ley \| Despoina Magka \| Bruno Marnette \| Ines Marusic \| Michael Morak \| Hector Perez-Urbina \| Anthony Potter \| Cristian Riveros \| Andrew Sellers \| Rob Shearer \| Frantisek Simancik \| Ben Spencer \| Giorgio Stefanoni \| Oana Tifrea-Marciuska \| Matthijs Vákár \| Bas van Schaik \| Pengyu Wang \| Zhenghua Xu \| Jakub Zavodny \| Yujiao Zhou
support	Janet Sadler

Programming Languages

faculty	Oege de Moor \| Stephen Drape \| Jeremy Gibbons \| Ralf Hinze \| Geraint Jones \| Daniel Kroening \| Hanno Nickau \| Luke Ong \| Mike Spivey \| Bernard Sufrin \| Hongseok Yang
research	Torbjörn Ekman \| José Pedro Magalhães \| Nicolas Wu
students	Luke Cartey \| Kwok-Ho Cheung \| Emanuele D'Osualdo \| Tom Harper \| Daniel James \| Josh Ko \| Martin Lester \| Robin Neatherway \| Maciej Pirog \| Max Schaefer \| Meng Wang \| Jim Whitehead

Security

faculty	Bob Coecke \| Sadie Creese \| Cas Cremers \| Ivan Flechais \| Michael Goldsmith \| Marina Jirotka \| Andrew Ker \| Gavin Lowe \| Andrew Martin \| Ivan Martinovic \| Kasper B. Rasmussen \| Bill Roscoe \| Andrew Simpson
research	Adedayo Adetoye \| Ioannis Agrafiotis \| Thomas Bashford-Rogers \| Bangdao Chen \| Shamal Faily \| Nalin Asanka \| Thomas Gibson-Robinson \| Jassim Happa \| Duncan Hodges \| Phil Legg \| John Lyle \| Nick Moffat \| Jason Nurse
students	Ahmad Atamli \| Katriel Cohn-Gordon \| Tulio de Souza \| Luke Garratt \| Xin Huang \| Justin King-Lacroix \| Martin Lester \| Joe Loughry \| Ivans Lubenko \| Cornelius Namiluko \| Emma Osborn \| Andrew Paverd \| Anbang Ruan \| Martin Strohmeier \| Wattana Viriyasitavat

Software Engineering

faculty	Anisoara Calinescu \| Alessandra Cavarra \| Jonathan Cooper \| Cas Cremers \| Jim Davies \| Grace Eden \| Ivan Flechais \| Jeremy Gibbons \| Ralf Hinze \| Marina Jirotka \| Daniel Kroening \| Andrew Markham \| Andrew Martin \| Steve McKeever \| Kasper B. Rasmussen \| Andrew Simpson \| Niki Trigoni
research	Jonathan Cooper \| Charles Crichton \| Grace Eden \| Shamal Faily \| Nalin Asanka \| Steve Harris \| David Johnson \| Stephen Kell \| Sharon Lloyd \| John Lyle \| Conor Muldoon \| David Power \| Philipp Ruemmer \| Douglas Russell \| Mark Slaymaker \| Pui Wo (Andrew) Tsui \| James Welch \| Hongkai Wen \| Geoff Williams \| Nicolas Wu
students	Mohammed Aboulsamh \| Ettore Ferranti \| Tom Harper \| Muzammil Hussain \| Jaco Jacobs \| David Johnson \| Pascal Kesseli \| Joe Loughry \| Fernando Muradas \| Cornelius Namiluko \| Aadya Shukla \| Clint Sieunarine \| Simon Smith \| Andrew Symington \| Christian Wallenta \| Jackie Wang \| James Welch \| Jim Whitehead \| Ricklef Wohlers \| Peter Wong
support	Edward Crichton \| Jackie Jordan \| Sharon Lloyd \| Janet Sadler \| Shirley Sardar \| Ib Holm Sørensen