Prof. Gethin Norman — Research Profile
University of Glasgow · School of Computing Science
Graduate application deadlines
School of Computing Science
PhD in Computing Science
October 2027School of Computing Science studentships
Jan 31, 2027
Source: gla.ac.ukChecked Nov 2, 2026
Considering this lab for grad school?
Save it to compare side by side with other labs, and keep your contact prep in one place.
What to prepare before emailing a PIAbout
Prof. Gethin Norman at University of Glasgow School of Computing Science lists quantitative formal methods, real-time and probabilistic behaviour, formal verification, security protocols, game theory as their registered research area.
Research keywords
Other labs in this department
- Alessandro Vinciarelli Lab
Social Signal Processing, nonverbal communication in human-human and human-machine interactions
- Alice Miller Lab
Modelling and Verification, Abstraction and Symmetry Reduction, Combinatorics, Group Theory, Graph Theory
- Ali Gooya Lab
machine learning, computer vision, medical imaging, deep probabilistic and variational learning, cancer and cardiac image analysis, computational anatomy
- Alistair Morrison Lab
- Awais Aziz Shah Lab
Software-Defined Networks (SDN), Network Function Virtualisation (NFV), Internet-of-Space Things, Container networking, Resilience and CyberSecurity, Cloud and Edge Computing, Anomaly detection in Networks, Network Routing Algorithms
- Burak Kizilkaya Lab
Telerobotics and Autonomous Systems, Wireless Communications for Control Systems, Cybersecurity in Human-Robot Interaction, Smart Cities and IoT Applications