OUCL
news
admissions
research
teaching
people
calendar
resources
vacancies
login
OXFORD UNIVERSITY COMPUTING LABORATORY
Quantitative Analysis and Verification Group
Group web site
Radu Calinescu | Matthias Fruth | Mark Kattenbelt | Daniel Kroening | Marta Kwiatkowska | Gethin Norman | David Parker | Tianyi Zang
themes
Theory and Automated Verification
Head of Activity
Marta Kwiatkowska