Research Interests

The Dependable Systems Group investigates formal methods for the discovery and prevention of hard- and software bugs. In particular, we work in the field of formal specification and verification, model-checking, the satisfiability problem of certain logics, and combinatorial problems of sequential structures.