Welcome to Michael's home page.
I am head of the Informatics Theory Group. Here is a brief summary of my teaching and research interests:

 

 

 

 

 

 

Main areas

Mathematical methods for the specification, design, and validation of complex software and hardware systems, specifically in distributed and parallel applications

Key issues

• Synchronisation mechanisms, transition between synchrony and asynchrony
• Abstraction and refinement
• Constraints and the compositionality problem
• Semantics of model-based design languages (Esterel, Lustre, Statecharts, UML)
• Interface specifications for intensional, non-functional, properties, specifically regarding causality and timing

Mathematical tools

• Intuitionistic and modal logics
• Logical game theory
• Kripke semantics, Heyting algebra and type theory
• Process algebras and calculi for synchrony and asynchrony

Applications

• Hardware-software embedded systems in the avionics and automotive area
• Interactive (e.g. web-based) services
• Distributed transaction systems
• Stream-based data processing
• Component-based programming

Automatic and interactive validation techniques

• Model checking
• Timing analysis
• Type checking
• Theorem proving