OUCL
news
admissions
research
teaching
people
calendar
resources
vacancies
studentships
login
OXFORD UNIVERSITY COMPUTING LABORATORY
Philipp Ruemmer Research Assistant
Wolfson Building, Parks Road, Oxford OX1 3QD
Personal Webpage
themes
Verification | Software Engineering | Foundations, Logic and Structures
activities
Software Model Checking | Model Checking
projects
CESAR
