www.comlab.ox.ac.uk/people/David.Parker/index.html

David Parker

Personal photo - David Parker

Dr  David  Parker 



Research Officer



David.Parker@comlab.ox.ac.uk

+44 (0) 1865 283566

+44 (0) 1865 273839 (fax)

Wolfson Building, Parks Road, Oxford OX1 3QD

Interests

My main research interests are in the area of formal verification and, in particular, probabilistic verification. Within these fields, some of the topics I am currently working on include:

I also lead the development of the probabilistic model checking tool PRISM.

Biography

I am currently a research officer at the Oxford University Computing Laboratory, working in the group of Marta Kwiatkowska on the EPSRC-funded project Automated quantitative software verification with PRISM. Between 2002 and 2007, I worked as a research fellow at the School of Computer Science, University of Birmingham, first on the EPSRC-funded research project "Automated Verification of Probabilistic Protocols with PRISM" and then on the MSR-funded project "Predictive Modelling of Signalling Pathways via Probabilistic Model Checking with PRISM". I also completed my PhD in Birmingham (August 2002), on the topic "Implementation of Symbolic Model Checking for Probabilistic Systems".

Publications

See my online list of papers or my DBLP entry.

Research activities

Program committee memberships:

Talks & Tutorials

Here are slides from some recent talks and tutorials.

And here are some upcoming ones:

Teaching

I am also happy to supervise student projects on these topics.

 

Info

Themes

Activities

Projects