We are delighted to announce that PRISM has been selected to take part in the 2016 Google Summer of Code scheme, after our successful participation in 2013 and 2014.
Google Summer of Code is a global scheme that pays students (at undergrad, MSc or PhD level) to contribute to selected open source software projects. Students are paired with a mentor at the project, contribute code over a three-month period in the summer, and get paid 5500 USD by Google. This is a great way for students to get experience of real-world software development and find out more about possibilities for further study and employment in areas related to their academic studies. See the Google Summer of Code FAQ for more details.
PRISM (see www.prismmodelchecker.org) is a software tool for modelling and studying the behaviour of real-life systems whose behaviour exhibits unpredictability or randomness. It can be used to analyse everything from the reliability of distributed filing systems, to the performance of a Bluetooth-enabled wireless device, to the safety of a car's airbag control system. PRISM has been used by researchers worldwide in fields as diverse as quantum cryptography, systems biology, computer security and robotics. Development of PRISM is currently split between the University of Birmingham and the University of Oxford.
Interested? Take a look at our and project page and get in touch...