David Parker
|
Dr David Parker
Research Assistant
+44 (0) 1865 283566
+44 (0) 1865 273839 (fax)
Room 450, Wolfson Building, Parks Road, Oxford OX1 3QD |
Interests
My main research interests are in the area of formal verification, with a particular focus on techniques that analyse quantitative aspects such as probabilistic and real-time behaviour. I also lead the development of the probabilistic model checking tool PRISM.
Some of the topics I am currently working on include:
- abstraction & refinement for probabilistic systems
(see e.g. [QEST'06], [VMCAI'09], [FORMATS'09], [FMSD'10], [FORMATS'10], [QEST'11]) - compositional probabilistic verification
(see e.g. [TACAS'10], [QEST'10], [FASE'11], [TACAS'11], [ATVA'11]) - verification for probabilistic real-time/hybrid systems
(see e.g. [FMSD'06], [FORMATS'09], [FORMATS'10], [QEST'11]) - verification for biological systems and DNA computing
(see e.g. [TCS'08], [JRSI'12], this chapter, this chapter and this list) - verification techniques for stochastic games
(see e.g. [TACAS'12])
Publications
See my online list of papers or my DBLP and Google Scholar entries.
Biography
I am currently a post-doctoral researcher at the Department of Computer Science, University of Oxford, working in the Quantitative Analysis and Verification group. I am co-investigator on the DARPA-funded PRISMATIC project and a researcher on the ERC-funded project VERIWARE. Before moving to Oxford (between 2002 and 2007), I worked as a research fellow at the University of Birmingham. I also completed my PhD in Birmingham (August 2002), on the topic "Implementation of Symbolic Model Checking for Probabilistic Systems".
Research activities
Program chair for:
- SPIN'12 (Intl. SPIN Workshop on Model Checking of Software) - Oxford, 23/24 July 2012
- SAC'12 COSYS track (ACM Symposium on Applied Computing)
Program committee member for:
- CMSB'12 (Intl. Conference on Computational Methods in Systems Biology)
- FMICS'12 (Intl. Workshop on Formal Methods for Industrial Critical Systems)
- SAC'12 SVT track (ACM Symposium on Applied Computing, Software Verification & Testing)
- SIMUTools'12 (Intl. Conference on Simulation Tools and Techniques)
- QAPL'12 (Intl. Workshop on Quantitative Aspects of Programming Languages)
- QEST'11 (Intl. Conference on Quantitative Evaluation of Systems)
- SPIN'11 (Intl. SPIN Workshop on Model Checking of Software)
- SAC'11 (ACM Symposium on Applied Computing, MeSC track)
- SIMUTools'11 (Intl. Conference on Simulation Tools and Techniques)
- MASCOTS'11 (IEEE Intl. Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems)
- QAPL'11 (Intl. Workshop on Quantitative Aspects of Programming Languages)
- PASM'11 (Intl. Workshop on Practical Applications of Stochastic Modelling)
- 2010: SPIN'10 - MASCOTS'10 - HiBi'10 - QAPL'10 - FIT'10
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
- tutorial at SFM-11:CONNECT Summer School, Bertinoro, June 2011
Teaching
- 2008, 2009, 2010, 2011:
- 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 |
VERIWARE | |
|
Completed Projects |
Automated quantitative software verification with PRISM | PRISMATIC |
|
Student |
|
