OUCL
news
admissions
research
teaching
people
calendar
resources
vacancies
studentships
login
OXFORD UNIVERSITY COMPUTING LABORATORY
Adam Bakewell Research Assistantadam.bakewell@comlab.ox.ac.uk
Wolfson Building, Parks Road, Oxford OX1 3QD
I am working on efficient game-based model checking.
