Skip to main content
Search form
Search
Previous
Pause
Next
Home
Menu
Home
People
Publications
Software
Projects
Resources
Latest News
Contact Us
-
A
A
+
A
People
CURRENT MEMBERS
Alessandro Abate
Joe Brown
Francesco Cosentino
Alec Edwards
James Fox
Mirco Giacobbe
Lewis Hammond
Hosein Hasanbeig
Yongchao Huang
Gareth Molyneux
Muhammad Syifa'ul Mufid
Andrea Peruffo
Kyriakos Polymenakos
Timothy Seabrook
Joar Skalse
Viraj Wijesuriya
PAST MEMBERS
Dario Cattaruzza
Nathalie Cauchi
Sofie Haesaert
Khaza A. Hoque
Kendra Lesser
Elizabeth Polgreen
Sadegh Soudjani
USEFUL LINKS
Department of Computer Science, Oxford
EPSRC Centre for Doctoral Training in AIMS
EPSRC/BBSRC Centre for Doctoral Training in Synthetic Biology
MORE USEFUL LINKS
University of Oxford
Verification Seminars
Cyber-physical Systems Seminars
The Alan Turing Institute
GET IN TOUCH WITH US
CONTACT US
Oxford Control and Verification (OXCAV) Group
C/O Department of Computer Science
Wolfson Building, Parks Rd, Oxford OX1 3QD
T: +44 (0) 18656 10767
Education - This is a contributing Drupal Theme
Design by
WeebPal
.