We are doing research amongst other things in the following areas:

• Metatheory of process calculi (DAAD- and SNF-aided)
• Semantic and [distributed] implementation of concurrent programming languages (DAAD- and ERCIM-aided)
• Semantic of distributed object-oriented programming languages (BRICS-aided)
• Formal verification of secure protocols (theory and tools) (SNF-aided)
• Event-driven programming models for protocol stacks (SNF-aided)
• Formal modelling and verification of fault-tolerant consensus-protocols (SNF-aided)
• Theorem prover-based verification of secure and liveness properties 
• Models for experience-based trust guidelines (HC3-aided, soon DFG-aided?)
• Models for data control in social networks (HC3-aided)
• Synchronous and asynchronous interaction in distributed systems (DFG-aided)
• Formal discretization of hybrid systems
• SOAMED (DFG-research training group from 1.4.2010)