Support & guidance
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
Reader in Computer Science
Professor in Computer Science
Lecturer in Computer Science (Education)
Reader in Logic and Computation
Reader in Software Engineering
Reader in Informatics
Senior Lecturer in Computer Science
26 November 2020
Researchers in King’s Software Systems Group and Trusted Autonomous Systems hub are furthering…
Browser does not support script.