The Software Systems (SSY) group investigates methods, models and tools for all stages of the software systems lifecycle. Our research is at the intersection of modelling, design and engineering of software systems, automated reasoning about system properties, and mathematical foundations of modelling computing systems. Our members investigate the applications of logic and mathematics to broad computer science with the objective of advancing theory and practice in the use and development of software systems. The SSY group is at the forefront of researching and enabling novel computing advances which contribute to numerous industrial applications including autonomous systems, transportation, logistics, and safety of complex software.

Group Lead: Dr Rita Borgo

See our King’s homepage.