OUCL
news
admissions
research
teaching
people
calendar
resources
vacancies
studentships
login
OXFORD UNIVERSITY COMPUTING LABORATORY
Alexander Kaiser Doctoral Studentalexander.kaiser@comlab.ox.ac.uk
Wolfson Building, Parks Road, Oxford OX1 3QD
themes
Verification
activities
Concurrency | Software Model Checking
projects
Efficient Verification of Software with Replicated Components
supervisor
Daniel Kroening
