Forschung
Praktisch alle Informatiksysteme basieren auf imperativen bzw. funktionalen Programmiersprachen oder Deduktionssystemen. Ihre Entwicklung beruht weitgehend auf Ergebnissen der Theoretischen Informatik. Während das Gebiet in der Lehre fast lückenlos dargestellt wird, findet in der Forschung eine Konzentration auf einige Teilgebiete statt.
Drittmittelprojekte
Aktuelle Projekte:
- Sprach-, Automaten- und Komplexitätstheorie
- Nebenläufige Systeme, Petrinetze und verteilte Algorithmen
- Modellierung und Systemgestaltung
- Organisationen und Geschäftsprozesse
- Agententechnologien
- Sprache, Schrift und Zeit
Abgeschlossene Drittmittelprojekte
- DFG-Projekt Sozionik (ASKO)
- DFG-Projekt Sozionik (DISPO)
- Projekt SISOL
- Modelling And Analysis Of Time Constrained And Hierarchical Systems (MATCH)
- Algebraic and Syntactic Methods in Computer Science (ASMICS 2)
- Formale Sprachen, Automaten und Petrinetze
Frühere Projekte:
- Kategorientheoretische Darstellung nebenläufiger Systeme
- Anwendung von Ergebnissen über Petrinetze in der Theorie der Matrixgrammatiken
- Strukturelle Untersuchungen dünner Mengen in NSPACE(log n)
- Modellieren und Verifizieren von nebenläufigen Systemen mit höheren Petrinetzen
- Algorithmen zur Analyse von Petrinetzeigenschaften
- Spezifikation und Verifikation im Rahmen der Typtheorie
- Generatoren durchschnitts- und twistabgeschlossener Trios
- Selbstverständnis der Informatik
