Prof. Jonni Virtema — 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. Jonni Virtema at University of Glasgow School of Computing Science lists finite model theory, logic in computer science, logics for dependence and independence, modal logics, logics for verification, logical foundations of neural networks, computational complexity, database 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