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
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.
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.