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.