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 27.05.2010 Druckversion

X

zuletzt geändert von frust
erstmals angelegt 2009-02-02

---

Verantwortlich: Frank Rust
Feedback an webmaster@iti.cs.tu-bs.de