David Parker
Senior Lecturer, University of Birmingham
David Parker
+44 (0) 121 41 47264
Room 107 (office hours: Tue 1.30-2.30pm, Fri 2-3pm)
Find me on:
NEWS

New post-doc and fully-funded PhD position available now. Contact me for details.

I'm a Senior Lecturer in Computer Science at the University of Birmingham. I also hold a Visiting Lecturer position at the University of Oxford.

Research

My research is in verification: formal techniques for checking that 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 for a short introduction to the topic.

This involves building and analysing models with probabilistic and real-time behaviour. I work on novel techniques to improve the scalability of verification (e.g. abstraction, compositionality), game-theoretic verification methods, and applications of these techniques to a variety of areas, including robotics, computer security, systems biology and DNA computing.

If you are interested in undertaking a PhD or student project in any of these areas, please get in touch.

PRISM

I also lead the development of PRISM, the most widely-used software tool for verification of probabilistic systems. See here or here to read about PRISM, or download it and take the online tutorial.

Take a look at my papers and talks to find out more.

News & Activities [show all]

Projects

Current research projects:

Previous research projects:

Other projects funding PRISM:

People

PhD students:

Post-docs:

Events

I am currently on the programme committee for the following events. Please consider submitting a paper.

Some previous programme committees: