David Parker

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:

• abstraction & refinement - see e.g. [QEST'06], [VMCAI'09], [FORMATS'09]
• symmetry reduction - see e.g. [CAV'06], [QEST'09]
• software verification - see e.g. [VMCAI'09]
• real-time verification - see e.g. [FMSD'06], [FORMATS'09]
• verification of biological systems - see e.g. [TCS'08], this web page
• symbolic model checking - see e.g. [Par02], [STTT'04]
• and more...

I also lead the development of the probabilistic verification tool PRISM.

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:

• 2010: QAPL'10 (International Workshop on Quantitative Aspects of Programming Languages) - ASHEs'10 (International Workshop on Adaptive Systems in Heterogeneous Environments)

• 2009: SOCA'09 (IEEE International Conference on Service-Oriented Computing and Applications) - MASCOTS'09 (Annual Meeting of the IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems) - HiBi'09 (High Performance Computational Systems Biology) - PASM'09 (International Workshop on Practical Applications of Stochastic Modelling) - TiSto'09 (International Workshop on Timing and Stochasticity in Petri Nets and other models of Concurrency) - ASHEs'09 (International Workshop on Adaptive Systems in Heterogeneous Environments)

• 2008: QEST'08 (International Conference on the Quantitative Evaluation of Systems) - CMSB'08 (International Conference on Computational Methods in Systems Biology) - PASM'08 (International Workshop on Practical Applications of Stochastic Modelling) - ASHEs'08 (International Workshop on Adaptive Systems in Heterogeneous Environments)

• 2007-2004: FMICS'07 (International Workshop on Formal Methods for Industrial Critical Systems) - PASM'05, PASM'04 (International Workshop on Practical Applications of Stochastic Modelling)

Here are slides from some recent talks and tutorials.

teaching

• 2008-2010:
  • Lecturer for: Probabilistic Model Checking
• 2008-2009:
  • Class tutor for: Compilers

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