Tutorial Fellow in Computer Science

David Parker

  • I am a Professor in the Department of Computer Science and a Tutorial Fellow at Trinity College.
  • My research is in formal verification, which is a rigorous approach for checking that computerised systems function correctly and safely.
  • I lead the development of a widely used software tool called PRISM, used for verifying probabilistic systems.
  • I teach a wide range of Computer Science topics at Oxford, from theoretical to practical.


At Trinity, I give tutorials in a range of topics across Computer Science. Currently that includes Algorithms and Data Structures, Digital Systems and Discrete & Continuous Mathematics. Within the Computer Science department, I currently lecture a course called “Computer-Aided Formal Verification” which introduces some of the key topics in my research area. I also supervise Masters and DPhil students across a range of areas in formal verification, in particular as applied to artificial intelligence and machine learning.


My research is in formal verification: rigorous techniques for checking that computerised systems function correctly. In particular, I work on quantitative verification, which is used to check quantitative properties such as safety, reliability, performance and many others. See here [https://www.cs.ox.ac.uk/people/david.parker/papers/lms-qv.pdf] for a short introduction to the topic.

Selected Publications

My most recent publications are available from: https://www.cs.ox.ac.uk/people/david.parker/publications.html.

Professor Parker