The University of Southampton
Courses
Undergraduate
Postgraduate taught
Postgraduate research
Foundation Years
Pre-sessional English courses
Exchanges
Customise your degree
Tuition fees
Funding your studies
How to apply
Clearing
Free online learning
Continuing professional development
Student life
Accommodation
Our campuses
Our cities
Student community
Sports and gyms
Support and money
Research
Our impact
Facilities
Centres and institutes
REF
Funding
Research & Innovation Services
Partnerships
Commercialising research
Researcher support
Research integrity
Business
Why work with us?
Collaboration
Consultancy
Commercialisation
Use our facilities
Connect with our students
How we operate
Suppliers
Make a business enquiry
Global
International students
International Office
Partnerships and initiatives
Visiting delegations
Visiting fellowships
About
Visit
Alumni
Departments
News
Events
Contact
×
Search the Site
Search
Electronics and Computer Science
Who we are
Undergraduate
Postgraduate MSc
Postgraduate PhD
Research
Careers
News & Events
Business and Enterprise
Alumni
International
Outreach
Contact
Multi-million pound investment to keep Southampton at forefront of Computer Science and Artificial Intelligence
Left
Right
Research Highlights
Research Groups and Centres
Research Projects
Research Publications
Left
Right
Home
>
Electronics and Computer Science
>
Research
>
Research projects by theme
>
Research Projects - cover-coalgebraic-foundations-for-quantitative-verification