Our research Our people Site map Privacy & Cookies About us Contact us

Follow us on twitter

Flickr

Delicious

Stumble Upon

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 \| Leslie Goldberg \| Paul Goldberg \| Georg Gottlob \| Peter Jeavons \| Elias Koutsoupias \| Thomas Lukasiewicz \| Joel Ouaknine
research	Thomas Lukasiewicz
students	Yiannis Giannakopoulos

Automated Verification

faculty	Andrew Ker \| 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 \| Taolue Chen \| Chris Chilton \| Klaus Draeger \| Vojtech Forejt \| Sergio Giro \| Tingting Han \| Nannan He \| Paul Hunter \| 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 \| Thomas Gibson-Robinson \| Christoph Haase \| Leopold Haller \| Ziyad Hanna \| Hsi-Ming Ho \| David Hopkins \| Jaco Jacobs \| Mark Jenkins \| Alexander Kaiser \| Mark Kattenbelt \| David Landsberg \| Rastislav Lenhardt \| Martin Lester \| Matt Lewis \| Ivans Lubenko \| Tomasz Mazur \| Toby Murray \| Robin Neatherway \| Vincent Nimal \| Hristina Palikareva \| Steven Ramsay \| Aistis Simaitis \| Mateusz Ujma \| Yong Xie
support	Pamela Farries \| Liz Gresham

Computational Biology

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

Foundations, Logic and Structures

faculty	Samson Abramsky \| Jonathan Barrett \| Bob Coecke \| Andreas Doering \| Daniel Kroening \| Marta Kwiatkowska \| Hanno Nickau \| Luke Ong
research	Bahareh Afshari \| Samuel Bucheli \| Doina Bucur \| Eric Cavalcanti \| Conrad Drescher \| Edward Grefenstette \| Julian Gutierrez \| Chris Heunen \| Matthew Hoban \| Clare Horsman \| Paul Hunter \| Stefan Kiefer \| Aleks Kissinger \| Anthony Widjaja Lin \| Ashutosh Natraj \| Philipp Ruemmer \| Mehrnoosh Sadrzadeh \| Michael Vanden Boom \| Jamie Vicary
students	Andrei Akhvlediani \| Markus Aschinger \| Philip Atzemoglou \| Miriam Backens \| Carmen Constantin \| Abhishek Dasgupta \| Nadish de Silva \| Emanuele D'Osualdo \| Penelope Economou \| Lu Feng \| Brendan Fong \| David Hopkins \| Dimitri Kartsaklis \| David Landsberg \| Martin Lester \| Shane Mansfield \| Yoshihiro Maruyama \| Alex Merry \| Karl Paulsson \| Justyna Petke \| Roman Priebe \| David Quick \| Steven Ramsay \| András Salamon \| Rui Soares Barbosa \| Colin Stephen \| Evgenij Thorstensen \| Yong Xie \| Lei Xu \| Norihiro Yamada \| William Zeng
support	Destiny Chen \| Liz Gresham \| Janet Sadler

Information Systems

faculty	Samson Abramsky \| Michael Benedikt \| Phil Blunsom \| Ani Calinescu \| Stephen Cameron \| Bob Coecke \| Bernardo Cuenca Grau \| Georg Gottlob \| Ian Horrocks \| Stephan Kreutzer \| Thomas Lukasiewicz \| Boris Motik \| Nadeschda Nikitina \| Dan Olteanu \| Vasile Palade \| Stephen Pulman \| Niki Trigoni \| Irina Voiculescu \| Michael Wooldridge
research	Vince Barany \| Conrad Drescher \| Cristina Feier \| Tim Furche \| Edward Grefenstette \| Ernesto Jimenez-Ruiz \| Mark Kaminski \| Evgeny Kharlamov \| Markus Krötzsch \| Clemens Kupke \| Abby Levenberg \| Thomas Lukasiewicz \| Maria Vanina Martinez \| Yavor Nenov \| Giorgio Orsi \| Andreas Pieris \| Robert Piro \| Gabriele Puppis \| Gerardo Simari \| Giorgos Stoilos \| Zhe Wang \| Dmitriy Zheleznyakov
students	Ana Armas \| Paul Baltescu \| Andrew Bate \| Manohara Rukshan Batuwita \| Jan Botha \| Robert Fink \| Helen Flynn \| Karl Moritz Hermann \| Tomas Kocisky \| Clemens Ley \| Despoina Magka \| Bruno Marnette \| Hector Perez-Urbina \| Cristian Riveros \| Andrew Sellers \| Rob Shearer \| Frantisek Simancik \| Ben Spencer \| Giorgio Stefanoni \| Bas van Schaik \| Pengyu Wang \| 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 \| 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 \| Ivan Flechais \| Marina Jirotka \| Andrew Ker \| Gavin Lowe \| Andrew Martin \| Ivan Martinovic \| Bill Roscoe \| Andrew Simpson
research	Adedayo Adetoye \| Thomas Bashford-Rogers \| Shamal Faily \| Michael Goldsmith \| Jassim Happa \| Duncan Hodges \| Phil Legg \| John Lyle \| Nick Moffat \| Jason Nurse
students	Bangdao Chen \| Tulio de Souza \| Adrian Duncan \| Thomas Gibson-Robinson \| Xin Huang \| Justin King-Lacroix \| Martin Lester \| Joe Loughry \| Ivans Lubenko \| Cornelius Namiluko \| Andrew Paverd \| Anbang Ruan \| Martin Strohmeier \| Wattana Viriyasitavat

Software Engineering

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