Gethin Norman

Dr. Gethin Norman is a Senior Lecturer in the School of Computing Science at the University of Glasgow, where he serves as Deputy Head of School and Senior Adviser. He holds a BSc in Mathematics from the University of Oxford and a PhD in Computer Science from the University of Birmingham. His research focuses on formal verification, quantitative methods, and probabilistic systems, with applications in software security, systems biology, and game theory. A key contribution is his work on the PRISM probabilistic model checker, which received the 2016 HVC Award for its impact in formal verification. He also leads the Formal Methods research group under the Formal Analysis, Theory and Algorithms section.

Education:

• BSc Mathematics, University of Oxford
• PhD Computer Science, University of Birmingham

Research Interests:

• Formal verification of real-time and probabilistic systems
• Algorithmic game theory and equilibrium analysis
• Development of tools like PRISM and PRISM-games
• Applications in security protocols, robotics, and biological systems

Teaching:

• Coordinates undergraduate courses: Algorithmic Foundations 2 (COMPSCI2003) and Algorithmics I (H) (COMPSCI4009)

Awards: 2016 HVC Award for PRISM probabilistic model checker.

Labs/Teams: Core contributor to the PRISM model checking tool, leading research in formal methods and stochastic game verification.