TU BRAUNSCHWEIG

Willkommen auf unserer Web-Seite.

 

Unser Schwerpunkt in Forschung und Lehre liegt im Bereich der theoretischen Grundlagen der Informatik insbesondere der

  • Semantik
  • automatischen Verifikation
  • Computer-Sicherheit.

Formale Semantik von Berechnungen und die automatische Verifikation von Systemeigenschaften sind zentrale Themen der theoretischen Informatik und ihrer Anwendungen. Um ein tiefgehendes Verständnis formaler Semantik zu erreichen entwickeln wir mathematische Methoden zur Spezifikationen und Verifikation von Systemen. Unsere Methoden basieren auf Erkenntnissen der Kategorientheorie und der Modallogik. Das erlaubt neue konzeptuelle Einsichten in die Mechanismen, die Berechnungsprozessen zugrunde liegen wie zum Beispiel Rekursion und Korekursion.


  aktualisiert am 18.10.2013
TU_Icon_E_Mail_1_17x17_RGB Zum Seitenanfang