King's College London

Research portal

Software Systems

Organisational unit: Research Group

Organisation profile

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. 

View all (131) »

Top downloads

View graph of relations

© 2020 King's College London | Strand | London WC2R 2LS | England | United Kingdom | Tel +44 (0)20 7836 5454