Skip to main content
University of Oxford Department of Computer Science
Search for
Search
Toggle
Main Menu
Home
Admissions
Research
(current)
News & Events
About Us
Alumni
Our Students
Innovation
Home
Research
Automated Verification
People
People
Faculty
Alessandro Abate
Luca Cardelli
Cas Cremers
Thomas Gibson-Robinson
Christoph Haase
Stefan Kiefer
Daniel Kroening
Marta Kwiatkowska
Anthony W. Lin
Gavin Lowe
Tom Melham
Andrzej Murawski
Luke Ong
Joel Ouaknine
Bill Roscoe
James Worrell
Research
Shaull Almagor
Michaël Cadilhac
Morteza Lahijanian
Martin Lester
Wenjie Ruan
Photo not available
Pavel Semukhin
Students
Nathalie Cauchi
Pascale Gourdeau
Dennis Jackson
Pascal Kesseli
Luca Laurenti
Photo not available
Rhiannon Michelmore
Nicholas Moore
Maciej Olejnik
Andrea Patane
Photo not available
Elizabeth Polgreen
Gabriel Santos
Max Whitby
Min Wu
Administration
Jordan Summers Young
Past Members
Sara Adams
Jade Alglave
Philip Armstrong
Photo not available
Peter Boehm
Samuel Bucheli
Photo not available
Doina Bucur
Daniel Bundala
Milan Ceska
(Faculty of Informatics, Masaryk University, Brno, Czech Republic)
Taolue Chen
Chris Chilton
Frits Dannenberg
Marco Diciolla
Alastair Donaldson
Emanuele D'Osualdo
Klaus Draeger
Photo not available
Vijay D'Silva
Pamela Farries
Lu Feng
Vojtěch Forejt
Matthias Fruth
Liz Gresham
Matthew Hague
Leopold Haller
Tingting Han
Ziyad Hanna
Nannan He
Hsi-Ming Ho
Photo not available
David Hopkins
Paul Hunter
Azlan Ismail
(Universiti Teknologi MARA, Malaysia)
Jaco Jacobs
Mark Jenkins
Aleksandra Jovanovic
Alexander Kaiser
Mark Kattenbelt
Stephen Kell
Photo not available
Eric Kerfoot
Karolis Kusas
Photo not available
David Landsberg
Antonia Lechner
Rastislav Lenhardt
Matt Lewis
Ivans Lubenko
Ines Marusic
Tomasz Mazur
Alexandru Mereacre
Toby Murray
Ganesh Narayanaswamy
Ashutosh Natraj
(IEEE, British Automation and Robot Association (BARA) - Academic Forum for Robotics)
Robin Neatherway
Long Nguyen
Vincent Nimal
Hristina Palikareva
David Parker
Hongyang Qu
Steven Ramsay
Philipp Ruemmer
Aistis Simaitis
Maria Svorenova
Michael Tautschnig
Ashutosh Trivedi
Mateusz Ujma
Björn Wachter
Georg Weissenbacher
Dominik Wojtczak
Photo not available
Yong Xie
Hongseok Yang
Lijun Zhang
Research
Algorithms and Complexity Theory
Artificial Intelligence and Machine Learning
Automated Verification
Activities
Projects
People
Publications
Computational Biology and Health Informatics
Cyber Physical Systems
Foundations, Structures, and Quantum
Human Centred Computing
Information Systems
Programming Languages
Security
Back to Top