Skip to content
Skip to primary global navigation
Skip to secondary global navigation
Skip to site navigation
Loughborough University
Toggle global mobile menu
Search
Switch campus:
London
campus
Students
Staff
Alumni
Jobs
Study
Research and Innovation
Sport
News and events
About
Computer Science
Undergraduate
Master's degrees
Research degrees
Staff
Menu
University home
Schools and departments
Computer Science
Research
Research themes
Theoretical Computer Science
Column 2
About
Undergraduate
Master's degrees
Research degrees
Research
Innovation
Staff
News
Events
Contact us
Game theory
Graph theory
Logic
Operations research
Scheduling
Symbolic dynamics
Foundations of algorithmic verification
In this section
Research
Research spotlights
Research themes
Cyber, Networks and Systems
Theoretical Computer Science
AI, Robotics and Human-centred Intelligent Systems
AI for Vision, Language and Reasoning
Contact us
Dr Andrea Soltoggio
Research Coordinator
+44 (0)1509 635748
Send email
Facebook
X
Instagram
LinkedIn
YouTube