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

Personal photo - Alessandro Abate Alessandro Abate
Personal photo - Cas Cremers Cas Cremers
Personal photo - Thomas Gibson-Robinson Thomas Gibson-Robinson
Personal photo - Christoph Haase Christoph Haase
Personal photo - Stefan Kiefer Stefan Kiefer
Personal photo - Daniel Kroening Daniel Kroening
Personal photo - Marta Kwiatkowska Marta Kwiatkowska
Personal photo - Anthony Lin Anthony W. Lin
Personal photo - Gavin Lowe Gavin Lowe
Personal photo - Tom Melham Tom Melham
Personal photo - Luke Ong Luke Ong
Personal photo - Joel Ouaknine Joel Ouaknine
Personal photo - Bill Roscoe Bill Roscoe
Personal photo - James Worrell James Worrell

Research

Personal photo - Shaull Almagor Shaull Almagor
Personal photo - Michaël Cadilhac Michaël Cadilhac
Personal photo - Morteza Lahijanian Morteza Lahijanian
Personal photo - Steven Ramsay Steven Ramsay
Personal photo - Wenjie Ruan Wenjie Ruan

Students

Personal photo - Nathalie Cauchi Nathalie Cauchi
Personal photo - Dennis Jackson Dennis Jackson
Personal photo - Pascal Kesseli Pascal Kesseli
Personal photo - Karolis Kusas Karolis Kusas
Personal photo - Nicholas Moore Nicholas Moore
Photo not available Elizabeth Polgreen

Administration

Personal photo - Jordan Summers Young Jordan Summers Young

Past Members

Personal photo - Sara Adams Sara Adams
Personal photo - Jade Alglave Jade Alglave
Personal photo - Philip Armstrong Philip Armstrong
Photo not available Peter Boehm
Personal photo - Samuel Bucheli Samuel Bucheli
Photo not available Doina Bucur
Personal photo - Daniel Bundala Daniel Bundala
Personal photo - Milan Ceska Milan Ceska (Faculty of Informatics, Masaryk University, Brno, Czech Republic)
Personal photo - Taolue Chen Taolue Chen
Personal photo - Chris Chilton Chris Chilton
Personal photo - Frits Dannenberg Frits Dannenberg
Personal photo - Marco Diciolla Marco Diciolla
Personal photo - Alastair Donaldson Alastair Donaldson
Personal photo - Emanuele D'Osualdo Emanuele D'Osualdo
Personal photo - Klaus Draeger Klaus Draeger
Photo not available Vijay D'Silva
Personal photo - Pamela Farries Pamela Farries
Personal photo - Lu Feng Lu Feng
Personal photo - Vojtěch Forejt Vojtěch Forejt
Personal photo - Matthias Fruth Matthias Fruth
Personal photo - Liz Gresham Liz Gresham
Personal photo - Matthew Hague Matthew Hague
Personal photo - Leopold Haller Leopold Haller
Personal photo - Tingting Han Tingting Han
Personal photo - Ziyad Hanna Ziyad Hanna
Personal photo - Nannan He Nannan He
Personal photo - Hsi-Ming Ho Hsi-Ming Ho
Photo not available David Hopkins
Personal photo - Paul Hunter Paul Hunter
Personal photo - Azlan Ismail Azlan Ismail (Universiti Teknologi MARA, Malaysia)
Personal photo - Jaco Jacobs Jaco Jacobs
Personal photo - Mark Jenkins Mark Jenkins
Personal photo - Aleksandra Jovanovic Aleksandra Jovanovic
Personal photo - Alexander Kaiser Alexander Kaiser
Personal photo - Mark Kattenbelt Mark Kattenbelt
Personal photo - Stephen Kell Stephen Kell
Photo not available Eric Kerfoot
Photo not available David Landsberg
Personal photo - Antonia Lechner Antonia Lechner
Personal photo - Rastislav Lenhardt Rastislav Lenhardt
Personal photo - Matt Lewis Matt Lewis
Personal photo - Ivans Lubenko Ivans Lubenko
Personal photo - Ines Marusic Ines Marusic
Personal photo - Tomasz Mazur Tomasz Mazur
Personal photo - Alexandru Mereacre Alexandru Mereacre
Personal photo - Andrzej Murawski Andrzej Murawski (University of Warwick)
Personal photo - Toby Murray Toby Murray
Personal photo - Ganesh Narayanaswamy Ganesh Narayanaswamy
Personal photo - Ashutosh Natraj Ashutosh Natraj (IEEE, British Automation and Robot Association (BARA) - Academic Forum for Robotics)
Personal photo - Robin Neatherway Robin Neatherway
Personal photo - Long Nguyen Long Nguyen
Personal photo - Vincent Nimal Vincent Nimal
Personal photo - Hristina Palikareva Hristina Palikareva
Personal photo - David Parker David Parker
Personal photo - Hongyang Qu Hongyang Qu
Personal photo - Philipp Ruemmer Philipp Ruemmer
Personal photo - Aistis Simaitis Aistis Simaitis
Personal photo - Maria Svorenova Maria Svorenova
Personal photo - Michael Tautschnig Michael Tautschnig
Personal photo - Ashutosh Trivedi Ashutosh Trivedi
Personal photo - Mateusz Ujma Mateusz Ujma
Personal photo - Björn Wachter Björn Wachter
Personal photo - Georg Weissenbacher Georg Weissenbacher
Personal photo - Dominik Wojtczak Dominik Wojtczak
Photo not available Yong Xie
Personal photo - Hongseok Yang Hongseok Yang
Personal photo - Lijun Zhang Lijun Zhang

Research

Back to Top