PRISM - People

PRISM was created and is still actively maintained by:

• Dave Parker (University of Oxford)
• Gethin Norman (University of Glasgow)
• Marta Kwiatkowska (University of Oxford)

Development of the tool is currently led from Oxford by Dave Parker.

The following have made a wide range of contributions to PRISM covering many different aspects of the tool (in approximately reverse chronological order):

• Steffen Märcker (Technische Universität Dresden)
• Joachim Klein (formerly Technische Universität Dresden)
• Vojtěch Forejt (formerly University of Oxford)

We also gratefully acknowledge contributions to the PRISM code-base from (in approximately reverse chronological order):

• Max Kurze: Language parser code improvements
• Ludwig Pauly: Reward import/export
• Alberto Puggelli: First version of interval DTMC/MDP code
• Xueyi Zou: Partially observable Markov decision processes (POMDPs)
• Chris Novakovic: Build infrastructure improvements
• Steffen Märcker and David Müller: Infrastructure for automata generation and explicit-state model checking
• Ernst Moritz Hahn: Parametric model checking, fast adaptive uniformisation + various other features
• Frits Dannenberg: Fast adaptive uniformisation
• Hongyang Qu: Multi-objective model checking
• Mateusz Ujma: Bug fixes and GUI improvements
• Christian von Essen: Symbolic/explicit-state model checking
• Vincent Nimal: Approximate (simulation-based) model checking techniques
• Mark Kattenbelt: Wide range of enhancements/additions, especially in the GUI
• Carlos Bederian (working with Pedro D'Argenio): LTL model checking for MDPs
• Gethin Norman: Precomputation algorithms, abstraction
• Alistair John Strachan: Port to 64-bit architectures
• Alistair John Strachan, Mike Arthur and Zak Cohen: Integration of JFreeChart into PRISM
• Charles Harley and Sebastian Vermehren: GUI enhancements
• Rashid Mehmood: Improvements to low-level data structures and numerical solution algorithms
• Stephen Gilmore: Support for the stochastic process algebra PEPA
• Paolo Ballarini & Kenneth Chan: Port to Mac OS X
• Andrew Hinton: Original versions of the GUI, Windows port and simulator
• Joachim Meyer-Kayser: Original implementation of the "Fox-Glynn" algorithm

See also here for details of third-party tools/libraries included in PRISM.

Details of the people who worked on the underlying theory and techniques implemented in PRISM can be found here.

There are also many people who have worked on case studies using PRISM. You can find details of these in the case studies section of the site.

See also here for publications about extensions and connections to PRISM.

Site hosted at the Department of Computer Science, University of Oxford