Scholar
Gethin Norman
Google Scholar ID: H3nOlXsAAAAJ
Professor at the School of Computing Science, Glasgow University, School of Computing Science
Citations & Impact
Citations
4,473
H-index
28
i10-index
63
Publications
20
Co-authors
47
list available
Publications
Resume (English only)
Research Experience
- 1998–2007: Research Fellow at the University of Birmingham, working on EPSRC projects including 'Automatic Verification of Randomized Distributed Algorithms', 'Verification of QoS in Timed Systems', and 'Probabilistic Model Checking of MANET Protocols'
- Contributed to the FORWARD project and a Microsoft Research Cambridge-funded project on predictive modeling of signaling pathways using PRISM
- Jul 2007–Nov 2009: Research Officer at Oxford University Computing Laboratory on the EPSRC-funded UbiVal project
- Lecturer (from Nov 2009) and Senior Lecturer (from Jul 2017) at the University of Glasgow
- Deputy Head of School (2019–2025)
- Co-leader of SICSA’s Modelling and Abstraction theme (2012–2016)
- Senior Research Fellow at University of Oxford on the FUN2MODEL project
Background
- Professor of Formal Methods in the School of Computing Science, University of Glasgow
- Member of the formal methods research group within the Formal Analysis, Theory and Algorithms section
- Co-lead of the School's Equality, Diversity and Inclusion committee
- Research focuses on formal verification with an emphasis on quantitative formal methods for real-time and probabilistic systems
- Research interests include applications to software, security protocols, and biological systems, as well as abstraction/refinement, compositional analysis, and game-theoretic techniques
