Browser does not support script.
Support & guidance
Work with King's
The Software Systems (SSY) group addresses modelling, design and engineering of software systems, automated reasoning about system properties, and mathematical foundations of modelling computing systems. 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.
Reader in Computer Science
Professor in Computer Science
Lecturer in Computer Science (Education)
Lecturer in Computer Science
Senior Lecturer in Computer Science Education
Vice-Dean (Education) and Professor of Computer Science
Reader in Logic and Computation
Reader in Software Engineering
Lecturer in Computer Science (Programming and Software Engineering)
Professor of Software Engineering
Professor of Software Development
Lecturer in Computer Science (Software Engineering)
Upcoming seminars and events will be listed here.
Current vacancies in the group will be listed here.
17 May 2022
Professor Laurence Tratt appointed as Research Chair