University of Oxford Branding

OXFORD UNIVERSITY COMPUTING LABORATORY

research

themes | activities | projects | people

Every researcher at OUCL 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.

Computational Biology

faculty	Kevin Burrage \| Stephen Cameron \| David Gavaghan \| Kathryn Gillow \| Vicente Grau \| Peter Jeavons \| David Kay \| Steve McKeever \| Gernot Plank \| Blanca Rodriguez \| Nic Smith \| Irina Voiculescu \| Jonathan Whiteley
research	Miguel Bernabeu \| Martin Bishop \| Kelly Burrowes \| Ramón Casero Cañas \| Jonathan Cooper \| Alberto Corrias \| Adelaide De Vecchi \| Jack Lee \| Steven Niederer \| David Nordsletten \| James Osborne \| Pras Pathmanathan \| Joe Pitt-Francis \| James Southern \| Tao Tao
students	Liya Asner \| Manohara Rukshan Batuwita \| Ed Blakey \| Rafel Bordas \| Jonathan Cooper \| Tom Doel \| Sara-Jane Dunn \| Stuart Golodetz \| Ayush Goyal \| llyas Emir Karadag \| Jie Ma \| Tahir Mansoori \| Matthew McCormick \| Michal Plotkowiak \| Margarita Satraki \| Gareth Stevenson \| Yue Zhang

Foundations, Logic and Structures

faculty	Samson Abramsky \| Alexandru Baltag \| Bob Coecke \| Andreas Doering \| Peter Jeavons \| Daniel Kroening \| Marta Kwiatkowska \| Hanno Nickau \| Luke Ong \| Dusko Pavlovic
research	Doina Bucur \| Bob Coecke \| Ross Duncan \| William Edwards \| Matthew Hague \| Chris Heunen \| Paul Hunter \| Andrzej Murawski \| Gethin Norman \| Eric Paquette \| David Parker \| Philipp Ruemmer \| Mehrnoosh Sadrzadeh \| Nikos Tzevelekos \| Jamie Vicary \| Thomas Wahl \| Standa Živný \| Jonathan Zvesper
students	Andrei Akhvlediani \| Philip Atzemoglou \| Jacob Biamonte \| Christopher Broadbent \| Lu Feng \| Edward Grefenstette \| David Hopkins \| Aleks Kissinger \| Shane Mansfield \| Alex Merry \| Karl Paulsson \| Justyna Petke \| Roman Priebe \| Steven Ramsay \| András Salamon \| Colin Stephen \| Yong Xie \| Jakub Zavodny
support	Janet Sadler

Information Systems

faculty	Samson Abramsky \| Michael Benedikt \| Phil Blunsom \| Stephen Cameron \| Bob Coecke \| Bernardo Cuenca Grau \| Georg Gottlob \| Ian Horrocks \| Stephan Kreutzer \| Thomas Lukasiewicz \| Boris Motik \| Dan Olteanu \| Vasile Palade \| Stephen Pulman \| Niki Trigoni \| Irina Voiculescu
research	Vince Barany \| Bob Coecke \| Birte Glimm \| Yevgeny Kazakov \| Rob Shearer
students	Dmitri Akatov \| Manohara Rukshan Batuwita \| Julian de Hoog \| Edward Grefenstette \| Jiewen Huang \| Clemens Ley \| Bruno Marnette \| Hector Perez-Urbina \| Andreas Pieris \| Rob Shearer \| Huy Vu

Numerical Analysis

faculty	Kathryn Gillow \| Raphael Hauser \| Ian Sobey \| Endre Süli \| Nick Trefethen \| Andy Wathen
research	Sheehan Olver \| Christoph Ortner \| Rodrigo Platte \| Daniel Robinson
students	David Knezevic \| Timothy Squires

Programming Languages

faculty	Oege de Moor \| Stephen Drape \| Jeremy Gibbons \| Ralf Hinze \| Geraint Jones \| Daniel Kroening \| Hanno Nickau \| Luke Ong \| Mike Spivey \| Bernard Sufrin
research	Torbjörn Ekman \| Andrzej Murawski
students	Pavel Avgustinov \| Tom Harper \| Daniel James \| Eric Kerfoot \| Jeffrey Lake \| Max Schaefer \| Julian Tibble \| Meng Wang \| Jim Whitehead

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 \| Edward Crichton \| Steve Harris \| Sharon Lloyd \| Andrew Markham \| David Power \| Philipp Ruemmer \| Douglas Russell \| Mark Slaymaker \| Ib Holm Sorensen \| Andrew Tsui \| Sonia Waharte \| Geoff Williams
students	Mohammed Aboulsamh \| Jonathan Cooper \| Douglas Creager \| Grace de la Flor \| Sarah Fernando \| Ettore Ferranti \| Muzammil Hussain \| Mila Katzarova \| Eric Kerfoot \| Joe Loughry \| John Lyle \| Cornelius Namiluko \| Aadya Shukla \| Clint Sieunarine \| Antonios Skordylis \| Simon Smith \| Andrew Symington \| Matteo Turilli \| Christian Wallenta \| Jackie Wang \| James Welch \| Ricklef Wohlers \| Peter Wong \| Nicolas Wu
support	Edward Crichton \| Ib Holm Sorensen \| James Welch

Verification

faculty	Andrew Ker \| Daniel Kroening \| Marta Kwiatkowska \| Gavin Lowe \| Tom Melham \| Luke Ong \| Joel Ouaknine \| Bill Roscoe \| James Worrell
research	Philip Armstrong \| Doina Bucur \| Chris Chilton \| Alastair Donaldson \| Matthew Hague \| Nannan He \| Mark Kattenbelt \| Andrzej Murawski \| Gethin Norman \| David Parker \| Hongyang Qu \| Philipp Ruemmer \| Ashutosh Trivedi \| Thomas Wahl
students	Sara Adams \| Peter Boehm \| Christopher Broadbent \| Chris Chilton \| Vijay D'Silva \| Lu Feng \| Matthias Fruth \| Christoph Haase \| Leopold Haller \| Ziyad Hanna \| David Hopkins \| Mark Jenkins \| Alexander Kaiser \| Allaa Kamil \| Eric Kerfoot \| Maneesh Khattri \| Tomasz Mazur \| Toby Murray \| Hristina Palikareva \| Steven Ramsay \| Georg Weissenbacher \| Yong Xie
support	Janet Sadler

Random Image

Random Image

Random Image