Dave Parker

Prof

Accepting PhD Students

PhD projects

David Parker's research focuses on verification: formal techniques for checking that systems function correctly. In particular, he is interested in quantitative verification, which focuses on the analysis of systems with probabilistic and real-time behaviour.

Dr Parker's work spans the development of new theory, algorithms and tools for this area, as well as investigating its applicability to a wide range of areas, including biology and security. He also leads the development of the probabilistic model checking tool PRISM.

20012022

Research activity per year

Network

Jon Rowe

Person: Academic

Rami Bahsoon

Person: Academic

Shan He

Person: Academic

Tom Chothia

Person: Academic

Mirco Giacobbe

Person: Academic

Chris Good

Person: Academic

Andy Ingram

Person: Academic

Mark Ryan

Person: Academic

Marta Kwiatkowska

  • University of Oxford

External person

Gethin Norman

  • University of Glasgow

External person

Vojtěech Forejt

  • University of Oxford

External person

Gabriel Santos

  • University of Oxford

External person

Jan Křetínský

  • Technical University Munich
  • Ist Radioastron

External person

Michaela Klauck

  • Saarland University

External person

Joachim Klein

  • Technische Universität Dresden

External person

Mateusz Ujma

  • Department of Computer Science
  • University of Oxford

External person

Arnd Hartmanns

  • University of Twente

External person

R Gupta

  • University of Jammu

External person

Bruno Lacerda

  • University of Oxford

External person

Ahmed Al-Ajeli

  • University of Babylon

External person

Chunyan Mu

  • Teesside University

External person

Alessandro Abate

  • Department of Computer Science
  • University of Oxford

External person

Klaus Dräger

  • Queen Mary, University of London

External person

Clemens Wiltsche

  • University of Oxford

External person

Nick Hawes

  • University of Oxford

External person

Enno Ruijters

  • University of Twente

External person

Tim Quatmann

  • RWTH Aachen University

External person

T. K. Satish Kumar

  • University of Southern California
  • University of Massachusetts

External person

Gerald Fry

  • Charles River Analytics

External person

Christian Hensel

  • RWTH Aachen University

External person

Martin Chmelík

  • Ist Radioastron

External person

Zhen Zhang

  • Utah State University

External person

Ke Tang

  • University of Science and Technology of China
  • Southern University of Science and Technology

External person

Yuan Shi

  • University of Southern California

External person

Tim Quatmann

  • RWTH Aachen University

External person

Mike Reposa

  • Charles River Analytics

External person

Kenny Lu

  • Charles River Analytics

External person

Carlos E. Budde

  • University of Twente

External person

Andrea Turrini

  • Chinese Academy of Sciences

External person

Craig A. Knoblock

  • University of Southern California

External person

Curt Wu

  • Charles River Analytics

External person

Mate Puljiz

  • University of Zagreb

External person

Steve Marotta

  • Charles River Analytics

External person

Ernst Moritz Hahn

  • Queen's University, Belfast

External person

Peter Dittrich

  • Friedrich Schiller University of Jena

External person

Chris Novakovic

  • University of Birmingham
  • Imperial College London

External person

Linda Leuschner

  • Technische Universität Dresden

External person

Jeremy T Bradley

  • Imperial College London

External person

Andrew Phillips

  • Microsoft Research Cambridge

External person

Avi Pfeffer

  • Charles River Analytics

External person

Marcel Steinmetz

  • Saarland University

External person

Christel Baier

  • Technische Universität Dresden

External person

Tomáš Brázdil

  • Masaryk University

External person