OUCL
news
admissions
research
teaching
people
calendar
resources
vacancies
studentships
login
OXFORD UNIVERSITY COMPUTING LABORATORY
William Blum
Wolfson Building, Parks Road, Oxford OX1 3QD
I am currently a DPhil student in the field of Game Semantics and program verification under the supervison of Prof. Luke Ong.
