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

• Einsatz eines Classroom Response Systems zur Aktivierung der Studierenden in großen Hörsälen

Aktuelle Projekte:

• Nebenläufige Systeme, Petrinetze und verteilte Algorithmen
• Sprach-, Automaten- und Komplexitätstheorie
• Modellierung und Systemgestaltung
• Organisationen und Geschäftsprozesse
• Agententechnologien

Abgeschlossene Drittmittelprojekte

• Konzeption und Durchführung des inverted-classroom Ansatzes für die Lehre im Pflichtmodul Formale Grundlagen der Informatik (FGI-1) (BMBF: 01PL12033)
• Didaktische und methodische Qualifikation studentischer Hilfskräfte für die Üungsbetreuung der Studieneingangsphase der Informatik
• Herold
• Mondula
• 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:

• Sprache, Schrift und Zeit
  • Probleme der Mathematischen Linguistik
  • Entwicklung von Metafont- und TEX-Systemen für nichtlateinische Schriften
  • Kalendersysteme
• 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

Alter Forschungsüberblick (vor 2009)