Skip to main content
KBS_Icon_questionmark link-ico


Software Systems

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.

Group lead

Mohammad Reza Mousavi

Professor of Software Engineering