Skip to main content

Research & Innovation

Software Systems

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.

Members

Sahar Al-Sudani

Sahar Al-Sudani

Lecturer in Computer Science

Hana Chockler

Senior Lecturer in Computer Science

Maribel Fernandez

Maribel Fernandez

Professor in Computer Science

Christopher Hampson

Christopher Hampson

Lecturer in Computer Science (Education)

Agi Kurucz

Reader in Logic and Computation

Kevin Lano

Reader in Software Engineering

Laurence Tratt

Reader in Informatics

Christian Urban

Christian Urban

Lecturer in Computer Science

Steffen Zschaler

Steffen Zschaler

Senior Lecturer in Computer Science