Quantitative Analysis and Verification
Department of Computer Science, University of Oxford
People
Academic staff
Stefan Kiefer
Daniel Kroening
Marta Kwiatkowska
Joel Ouaknine
James Worrell
Alessandro Abate
Research staff
Qiyi Tang
Luca Laurenti
Min Wu
Andrea Patane
Agnieszka Zbrzezny
Gabriel Santos
Mehran Hosseini
Yongchao Huang
PhD students
Cas Widdershoven
Oscar Darwin
Pascale Gourdeau
Rhiannon Michelmore
Maciej Olejnik
Clare Lyle
Matthew Wicker
Emanuele La Malfa
Benjie Wang
Edon Kelmendi
George Kenison
Eike Neumann
Reino Niskanen
Joe Brown
Lewis Hammond
Hosein Hasanbeig
Gareth Molyneux
Muhammad Syifa'ul Mufid
Andrea Peruffo
Timothy Seabrook
Viraj Wijesuriya
Former staff & students:
Karolis Kusas
-
Max Whitby
-
Elizabeth Polgreen
-
Daniel Bundala
-
Ventsislav Chonev
-
Hsi-Ming Ho
-
Antonia Lechher
-
Rastislav Lenhardt
-
Ines Marusic
-
Dario Cattaruzza
-
Pascal Kesseli
-
Rajdeep Mukherjee
-
Daniel Poetzl
-
Marcelo Sousa
-
John Galea
-
Sean Heelan
-
Daniel Neville
-
Shaull Almagor
-
Maria Svorenova
-
Morteza Lahijanian
-
Wenjie Ruan
-
Youcheng Sun
Lucas Cordeiro
-
Ganesh Narayanaswamy
-
Lihao Liang
-
Alex Horn
-
David Landsberg
-
Martin Brain
-
Saurabh Joshi
-
Liana Hadarean
-
Ruben Martins
-
Björn Wachter
-
Ashutosh Natraj
-
Clemens Wiltsche
-
Frits Dannenberg
-
Peter Schrammel
-
Nicola Paoletti
-
Milan Češka
-
Peter Kim
-
Aleksandra Jovanovic
-
Cristina David
-
Benoît Barbot
-
Nicolas Basset
-
Alexandru Mereacre
-
Vojtěch Forejt
-
Samuel Bucheli
-
Subodh Sharma
-
Leopold Haller
-
Matt Lewis
-
Vincent Nimal
-
Ashutosh Trivedi
-
Dominik Wojtczak
-
Mark Kattenbelt
-
Doina Bucur
-
Lijun Zhang
-
Gethin Norman
-
Radu Calinescu
-
Tianyi Zang
-
Dave Parker
-
Stephen Kell
-
Sergio Giro
-
Matthias Fruth
-
Christoph Haase
-
Mark Jenkins
-
Taolue Chen
-
Klaus Draeger
-
Ernst Moritz Hahn
-
Tingting Han
-
Anthony Widjaja Lin
-
Hongyang Qu
-
Xu Wang
-
Chris Chilton
-
Lu Feng
-
Alexander Kaiser
-
Pamela Farries
-
Ajitha Ranjan
-
Nassim Seghir
-
Michael Tautschnig
-
Chris Thachuk
-
Aistis Simaitis
-
Mateusz Ujma
QAV Contact
Karla Perez-Blanco
QAV:
>
Home
>
People
>
Projects
>
Publications