Populations Code Legacy


The Populations Code Legacy is a FATA and PPE joint project aimed at maintaining and extending the functionality of model checking code written within the Populations Programme


Populations Project

The project "A populations approach to ubicomp systems design", aka 'Populations', was a five year EPRSC-funded research programme working towards a new science of software structures. The project has started in 2012 and ended in July 2017.

Visit Populations »

The FATA Group

The Formal Analysis, Theory and Algorithms research group develops and applies mathematics and logic to the design and analysis of algorithms and complex computational systems. The POPSCL contributor from FATA is Oana Andrei.

Visit FATA »

The PPE Group

The Experimental Particle Physics group is dedicated to the study of the fundamental constituents of matter and their interaction. The group is developing future detector technologies, software and computer grids for data analysis. The PPE contributor is Dan Protopopescu.

Visit PPE »