Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Automated Verification
  4. People

People

Faculty

Alessandro Abate
Amir Goharshady
Christoph Haase
Stefan Kiefer
Marta Kwiatkowska
Tom Melham
David Parker
James Worrell

Affiliated Faculty

Vincent Cheval
Giuseppe De Giacomo
Sandra Kiefer
Andrzej Murawski

Associate Members

Wael Albayaydh
Augusto B. Corrêa
Julian Gutierrez
Muhammad Najib

Emeritus Faculty

Luca Cardelli
Gavin Lowe
Bill Roscoe

Visiting Professors

Ziyad Hanna
Joel Ouaknine

Research

Wael Albayaydh
Minghao Liu
An Nguyen

Students

Piotr Bacik
(Max Planck Institute for Software Systems, Saarland Informatics Campus)
Mark Denhoed
Zainab Fatmi
Lewis Hammond
David Hyland
Mathias Jackermeier
Jiachen Qian
Yannik Schnitzer
Bill Daqian Shao
Christoph Weinhuber

Past Members

Sara Adams
Jade Alglave
Shaull Almagor
Philip Armstrong
Nikhil Balaji
Peter Boehm
Samuel Bucheli
Doina Bucur
Daniel Bundala
Michaël Cadilhac
Nathalie Cauchi
Milan Ceska
(Faculty of Informatics, Masaryk University, Brno, Czech Republic)
Taolue Chen
Chris Chilton
Cas Cremers
Frits Dannenberg
Marco Diciolla
Alastair Donaldson
Emanuele D'Osualdo
Klaus Draeger
Vijay D'Silva
Isaac Dunn
Rhiannon Falconmore (née Michelmore)
Pamela Farries
Lu Feng
Vojtěch Forejt
James Fox
Matthias Fruth
Thomas Gibson-Robinson
Pascale Gourdeau
Liz Gresham
Matthew Hague
Leopold Haller
Tingting Han
Anita Hancox
Hosein Hasanbeig
Nannan He
Hsi-Ming Ho
David Hopkins
Paul Hunter
Azlan Ismail
(Universiti Teknologi MARA, Malaysia)
Dennis Jackson
Jaco Jacobs
Mark Jenkins
Aleksandra Jovanovic
Alexander Kaiser
Mark Kattenbelt
Stephen Kell
George Kenison
Eric Kerfoot
Pascal Kesseli
Daniel Kroening
Karolis Kusas
Morteza Lahijanian
David Landsberg
Luca Laurenti
Antonia Lechner
Rastislav Lenhardt
Martin Lester
Matt Lewis
Anthony W. Lin
Ivans Lubenko
Clare Lyle
Ines Marusic
Tomasz Mazur
Alexandru Mereacre
Nicholas Moore
Toby Murray
Ganesh Narayanaswamy
Ashutosh Natraj
(IEEE, British Automation and Robot Association (BARA) - Academic Forum for Robotics)
Robin Neatherway
Long Nguyen
Vincent Nimal
Reino Niskanen
Maciej Olejnik
Luke Ong
Hristina Palikareva
Andrea Patane
Radek Piórkowski
Hongyang Qu
Steven Ramsay
Licio Romao
Rajarshi Roy
Wenjie Ruan
(Lecturer at Lancaster University)
Philipp Ruemmer
Andrew Ryzhikov
Gabriel Santos
Pavel Semukhin
Avi  Shaked
Aistis Simaitis
Maria Svorenova
Qiyi Tang
Michael Tautschnig
Ashutosh Trivedi
Mateusz Ujma
Damianos Veskoukis
Björn Wachter
Dominik Wagner
Georg Weissenbacher
Max Whitby
Dominik Wojtczak
Min Wu
Yong Xie
Hongseok Yang
Natasha Yogananda Jeppu
Pian Yu
Fabian Zaiser
Lijun Zhang
Xiyue  Zhang

Research

Back to Top