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.
Lecturer in Computer Science
Reader in Computer Science
Professor in Computer Science
Lecturer in Computer Science (Education)
Vice-Dean (Education) and Professor of Computer Science
Reader in Logic and Computation
Reader in Software Engineering
Professor of Software Development
Upcoming seminars and events will be listed here.
Current vacancies in the group will be listed here.
9 December 2021
Researchers at King’s and the University of Illinois at Urbana-Champaign (UIUC) are collaborating to…