Research Themes and Groups
- Algorithms and Complexity
- Computer Vision and Autonomous Systems
- Formal Methods
- Glasgow Parallelism Group
- IDEAS: Information, Data, Events, Analytics at Scale
- Information, Dynamics and Interaction
- Information Retrieval
- Multimodal Interaction Group
- Networked Systems
- Programming Languages
- Performative Interaction
- Social/Ubiquitous/Mobile Computing
- Systems Engineering
