Go to…
Our research
Impact
Support & guidance
Funding opportunities
Work with King's
The Software Systems (SSY) group studies design, modelling and engineering of software systems, reasoning about systems, and algorithms and tools for verification of software. An important part of our activities is the research in applications of logic and mathematics to broad computer science. Numerous industrial applications include autonomous systems, transportation, logistics, and safety of complex software.
Lecturer in Computer Science
Senior Lecturer in Computer Science
Professor in Computer Science
Lecturer in Computer Science (Education)
Reader in Logic and Computation
Reader in Software Engineering
Reader in Informatics
Browser does not support script.