OUCL
news
admissions
research
teaching
people
calendar
resources
vacancies
login
OXFORD UNIVERSITY COMPUTING LABORATORY
Hristina Palikareva Doctoral Studenthristina.palikareva@comlab.ox.ac.uk
themes
Verification
supervisors
Joel Ouaknine | Bill Roscoe
Wolfson Building, Parks Road, Oxford OX1 3QD
