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.
Publications
Activities
Seminars
Upcoming seminars and events will be listed here.
Job opportunities
Current vacancies in the group will be listed here.
Publications
Activities
Seminars
Upcoming seminars and events will be listed here.
Job opportunities
Current vacancies in the group will be listed here.
Group lead
Mohammad Reza Mousavi
Professor of Software Engineering