PRISM - People

PRISM was created and is still actively maintained by:

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):

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

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.