The Formal Methods research group is part of the FATA section, School of Computing Science at the University of Glasgow.
Our research covers a wide range of topics, including process calculi, semantic models and logics, verification techniques based on types and type systems, formulation of model checking algorithms, techniques for efficient and scalable analysis including abstraction and symmetry reduction, and developing game theoretic techniques. A fundamental aspect of our research is the application of formal methods to the modelling, verification and synthesis of complex software systems including autonomous systems such as UAVs, location-aware, event-based systems, communication-based and distributed systems, telecommunications services, biochemical networks and cell signalling, security protocols and safety-critical systems.
We are also one of the principal developers of the probabilistic model checker PRISM - the most widely-used software tool for verification of probabilistic systems.
Mengwei Xu, William Kavanagh, Uma Zalakain, Laura Voinea, Ruth Hoffmann, Ryan Kirwan, Yu Lu, Chris Unsworth, Christopher Power, Andrea Degasperi, Robin Donaldson, Shamim Ripon, Vladislav Vyshemirsky, Alastair F. Donaldson, Stefan Reiff-Marganiec, Carron Shankland
