David Parker
|
Dr
David
Parker
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:
- abstraction & refinement - see e.g. [QEST'06], [VMCAI'09], [FORMATS'09]
- symmetry reduction - see e.g. [CAV'06], [QEST'09]
- compositional verification - see e.g. [TACAS'10]
- 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 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:
- 2010: SPIN'10 (International SPIN Workshop on Model Checking of Software) - HiBi'10 (High Performance Computational Systems Biology) - QAPL'10 (International Workshop on Quantitative Aspects of Programming Languages)
- 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)
Talks & Tutorials
Here are slides from some recent talks and tutorials.
And here are some upcoming ones:
- tutorial at Quantitative Model Checking PhD School, Copenhagen, March 2010
- tutorial at ESSLLI 2010 Summer School, Copenhagen, August 2010
Teaching
- 2008-2010:
- Lecturer for: Probabilistic Model Checking
- 2008-2009:
- Class tutor for: Compilers
I am also happy to supervise student projects on these topics.
Info
|
Themes |
|
|
Activities |
Probabilistic Verification for Systems Biology | Software Model Checking | Probabilistic Model Checking | Quantitative Analysis and Verification | PRISM |
|
Projects |