University of Oxford Logo University of OxfordDepartment of Computer Science - Home
Linked in
Linked in
Follow us on twitter
Twitter
On Facebook
Facebook
Instagram
Instagram

Model Checking / Timed Automata / Probabilistic Systems

Supervisor

Joel Ouaknine

Suitable for

MSc in Computer Science

Abstract

Depending on the student's inclinations, I can offer several projects in model checking, timed automata, and probabilistic systems, ranging from the very theoretical (e.g., decidability/complexity problems) to the fairly practical (implement and verify the correctness of a particular probabilistic protocol or program). Students are encouraged to contact me to discuss possibilities and suitable projects.