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.
Applications and Algorithms
Dmitri Akatov |
Manohara Rukshan Batuwita |
Michael Benedikt |
Miguel Bernabeu |
Martin Bishop |
Ed Blakey |
Rafel Bordas |
Stephen Cameron |
Stephen Clark |
Jonathan Cooper |
Bernardo Cuenca Grau |
Julian de Hoog |
Birte Glimm |
Stuart Golodetz |
Georg Gottlob |
Ian Horrocks |
Peter Jeavons |
David Kay |
Yevgeny Kazakov |
Stephan Kreutzer |
Clemens Ley |
Jie Ma |
Bruno Marnette |
Zoltan Miklos |
Dan Olteanu |
Vasile Palade |
Héctor Pérez-Urbina |
Karen Petrie |
Andreas Pieris |
Joe Pitt-Francis |
Stephen Pulman |
Laura Rimell |
András Salamon |
Nic Smith |
Gareth Stevenson |
Dan Stokeley |
Irina Voiculescu |
Jonathan Whiteley |
Yue Zhang |
Stanislav Zivny
Numerical Analysis
Siobhan Burke |
Lotti Ekert |
Leonardo Figueroa |
Jaroslav Fowkes |
Mike Giles |
Kathryn Gillow |
Nick Hale |
Raphael Hauser |
Nicolas Jeannequin |
David Knezevic |
Bernhard Langwallner |
Martin Lotz |
Thushka Maharaj |
Sheehan Olver |
Christoph Ortner |
Ricardo Pachon |
Rodrigo Platte |
Alex Prideaux |
Tyrone Rees |
Daniel Robinson |
Ian Sobey |
Timothy Squires |
Martin Stoll |
Endre Süli |
Nick Trefethen |
Andy Wathen
Program Development and Tools
Pavel Avgustinov |
Oege de Moor |
Torbjörn Ekman |
Elnar Hajiyev |
Geraint Jones |
Bruno Oliveira |
Ash Rust |
Max Schaefer |
Damien Sereni |
Julian Tibble |
Mathieu Verbaere |
Meng Wang |
Jim Whitehead
Software Engineering
Mohammed Aboulsamh |
Ani Calinescu |
Radu Calinescu |
Annamaria Carusi |
Alessandra Cavarra |
Andrew Cooper |
Douglas Creager |
Charles Crichton |
Edward Crichton |
Jim Davies |
Grace de la Flor |
Ettore Ferranti |
Ivan Flechais |
Jeremy Gibbons |
Steve Harris |
Ralf Hinze |
Marina Jirotka |
Mila Katzarova |
Eric Kerfoot |
Ghita Kouadri Mostefaoui |
Sharon Lloyd |
Roberto Lopez-Herrejon |
Joe Loughry |
John Lyle |
Xiaoqi Ma |
Andrew Martin |
Steve McKeever |
David Power |
Mustafizur Rahman |
Douglas Russell |
Aadya Shukla |
Clint Sieunarine |
Andrew Simpson |
Antonios Skordylis |
Mark Slaymaker |
Simon Smith |
Ib Sørensen |
Yudong Sun |
Niki Trigoni |
Andrew Tsui |
Matteo Turilli |
Christian Wallenta |
Chen-Wei Wang |
Andrew Warr |
James Welch |
Geoff Williams |
Graeme Wilson |
Felix Wohlers |
Peter Wong |
Nicolas Wu |
Tianyi Zang
Theory and Automated Verification
Samson Abramsky |
Sara Adams |
Philip Armstrong |
Philip Atzemoglou |
Jacob Biamonte |
William Blum |
Peter Boehm |
Christopher Broadbent |
Bob Coecke |
Christopher Dilloway |
Ross Duncan |
Matthias Fruth |
Christoph Haase |
Matthew Hague |
Paul Hunter |
Allaa Kamil |
Mark Kattenbelt |
Andrew Ker |
Daniel Kroening |
Marta Kwiatkowska |
Gavin Lowe |
Tomasz Mazur |
Tom Melham |
Boris Motik |
Andrzej Murawski |
Toby Murray |
Gethin Norman |
Joel Ouaknine |
Hristina Palikareva |
David Parker |
Dusko Pavlovic |
Simon Perdrix |
Bill Roscoe |
Colin Stephen |
Nikos Tzevelekos |
Georg Weissenbacher
|
