Theoretische Informatik

Algebraische und logische Grundlagen der Informatik

Prof. Dr. Andreas Maletti

Die Abteilung untersucht die Theorie zustandsbasierter Systeme und Automaten, ihre Spezifikation, Semantik und den Zusammenhang zur Logik. Dabei kommen inbesondere kategorielle und koalgebraische Methoden zum Einsatz. Ein weiterer Forschungsschwerpunkt sind formale Verifikation und ihre Anwendung bei der Entwicklung sicherheitskritischer Systeme.

Automaten und Sprachen

Prof. Dr. Manfred Droste

Wir untersuchen das Wechselspiel zwischen Automatentheorie, Logik und formalen Sprachen. Besonderes Interesse finden derzeit quantitative Automatenmodelle, die den Verbrauch von Resourcen in Systemabläufen modellieren. Ein anderer Forschungsschwerpunkt liegt in der Algebra in der Gruppentheorie und auf dem Gebiet der Ordnungsstrukturen.

Intelligente Systeme

Prof. Dr. Gerhard Brewka

Die Abteilung untersucht Sprachen zur Wissensrepräsentation und zugehörige Inferenzverfahren.

Impressionen

alt
Technische Informatik:
Der lpzRobots-Zoo, in dem viele unterschiedliche Roboter durch jeweils einen eigenen Selforg-Controller gesteuert werden und somit quasi zum Leben erweckt werden. Siehe auch die Zoo-Videos.
alt
Abteilung Datenbaken:
Tracking down publications by their authors' affiliations and discovering collaborations using web-based affilliation matching and bibliographic analysis
alt
Bild- und Signalverarbeitung: Das Visualisierungssystem OpenWalnut zeigt ausgewählte Nervenfaserrekonstruktionen in einem menschlichen Gehirn.