Institut für Informatik
Bereichsnavigation
Hauptspalte
Theoretische Informatik
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.
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.
Die Abteilung untersucht Sprachen zur Wissensrepräsentation und zugehörige Inferenzverfahren.
Impressionen
Der zweite Prototyp des Kugelroboters von Julius Popp, welcher im Gegensatz zu Ersterem 3 Zahnradachsen besitzt, an dem mit jeweils einem Motor die Position des gesamten Motorblocks verändert werden kann.
Das Leipzig Wireless Mesh Testbed der Abteilung Rechnernetze und verteilte Systeme.