David Parker Lecturer School of Computer Science University of Birmingham Edgbaston, Birmingham, B15 2TT Email: d.a.parker@cs.bham.ac.uk Tel: +44 (0) 121 41 47264 Office: 107 Office hours: Wed 12.30-1.30, Thu 3-4

<< NEWS >> Postdoc position at Birmingham on "Automated Game-Theoretic Verification of Security Systems". Applications close 4 Sep 2013.

Research

My research is in verification: formal techniques for checking that systems function correctly. In particular, I work on quantitative verification, focusing on the analysis of systems 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 systems biology, DNA computing and computer security.

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

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.

Interests

My current interests include:

• techniques for efficient and scalable quantitative verification:
  - compositional verification [TACAS'10] [QEST'10] [FASE'11] [TACAS'11] [ATVA'11]
  - abstraction refinement [QEST'06] [VMCAI'09] [FORMATS'09] [FMSD'10] [FORMATS'10] [QEST'11]
  - incremental verification [DSN'11] [RV'12]
• novel verification techniques for:
  - probabilistic real-time/hybrid systems [FMSD'06] [FORMATS'09] [FORMATS'10] [QEST'11]
  - probabilistic game-theoretic models [TACAS'12] [CLIMA'11]
  - multi-objective model checking [TACAS'11] [ATVA'12]
• application of quantitative verification to areas such as:
  - biological systems [TCS'08] [IJCA'12], DNA computing [JRSI'12] and computer security