Gethin Norman is a Scottish Informatics and Computer Science Alliance (SICSA) senior lecturer in the School of Computing Science at the University of Glasgow. Member of the formal methods research group which is part of the Formal Analysis, Theory and Algorithms research section. His research is within the field of formal verification with emphasis on quantitative formal methods, particularly models and algorithms for systems exhibiting real-time and probabilistic behaviour. Gethin's interests within this field includes its application to software, security protocols and biological systems, as well as techniques for abstraction and refinement, compositional analysis and using game theory.