direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

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)

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe