The group was established on January 1, 1995.
We're particularly interested in methods for specification, verification, and failure analysis of complex heterogeneous systems. We are also interested in social consequences of the use of this technology, such as safety, security, and the possibilities for more pleasant working environments for all. With a bit of constraint satisfaction and temporal reasoning thrown in for good measure.
We have developed the formal methods Causal System Analysis and Why-Because Analysis for the safety and failure analysis of complex systems.