OUCL
news
admissions
research
teaching
people
calendar
resources
vacancies
studentships
login
OXFORD UNIVERSITY COMPUTING LABORATORY
Leopold Haller Doctoral StudentStudent, Magdalen College
Room Room 446, Wolfson Building, Parks Road, Oxford OX1 3QD
themes
activities
Software Model Checking
projects
Model-based test generation for embedded systems
supervisor
Daniel Kroening
