David Parker

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.

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