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.

Forschungsschwerpunkte:

• Objekt-Petrinetze (nur auf englisch)
• Formale Sprachen und Kalküle
• Berechenbarkeit und Komplexität
• Nebenläufige Systeme und verteilte Algorithmen
• Softwaretechnischer Systementwurf mit Hilfe von Petrinetzen
• Grundlagen der Informatik und Bezüge zu anderen Disziplinen

Aktuelle Projekte:

Drittmittelprojekte

• DFG-Projekt Sozionik (ASKO)
• DFG-Projekt Sozionik (DISPO)
• Projekt SISOL

Etatisierte Projekte

• Sprachtheorie
  • Hierarchien rekursiver Klassen gefärbter Petrinetze
  • Definition formaler Sprachen über Rekurrenzgleichungen
  • Abschlusseigenschaften rationaler Mengen über kommutativen Monoiden
  • Fundamentale algebraische Strukturen der Nebenläufigkeit
  • Struktureigenschaften formaler Sprachen
  • Allgemeine Charakterisierung von Sprachklassen und Ableitungssystemen
  • Kleine Universelle Turing-Maschinen
  • Parsing und Compiler
  • Sprachen von Multimengen
  • Probleme der Quantenrechner
  • Nebenläufige Automatenmodelle
• Petrinetze
  • Logik und Petrinetze
  • Petrinetzbibliographie und Petrinetz-Webseiten
  • Dynamische Petrinetzstrukturen
  • Petrinetz-Werkzeuge als Grundlage der Modellbildung, -bewertung und -ausführung
  • Dynamische Objekte in Petrinetzen
  • Model-Checking für Objekt-Petrinetze
  • Strukturelle Analyse für komponenten- und agentenorientierte Petrinetze
  • Concurrency-Theorie
• Systemspezifikation / Modellierung
  • Semantiken für semiformale Spezifikationstechniken
  • Systementwurf mit höheren Petrinetzen
  • Objektorientierte Analyse mit Petrinetzen
  • Begriffbildung im Rahmen der Systemspezifikation
  • E-Learning
  • Modellierung dynamischer Software-Architekturen
  • Organisationsorientierte Softwareentwicklung
• Prozesse und Prozessmodellierung
  • Geschäftsprozessmodellierung und -management
  • Web-Engineering
• Agententechnologie
  • Theoretische und softwaretechnische Grundlagen der Agentenorientierung
  • Petrinetze zur Modellierung in sozialen Kontexten
  • Emotion und Informatik (nur auf englisch)
  • Mulan/Capa
  • Selbstorganisationsprinzipien
  • Sicherheitsmethoden und -techniken für petrinetzbasierte Multiagentensysteme
  • Simulation, Data Mining & Multiagentensysteme
  • Petrinetz- und agentenbasierte Anwendungen
  • Offene Agentennetze - Modellierung, Implementierung, Verwendung
• Sprache, Schrift und Zeit
  • Probleme der Mathematischen Linguistik
  • Entwicklung von Metafont- und TEX-Systemen für nichtlateinische Schriften
  • Kalendersysteme

Frühere Projekte:

• Algebraic and Syntactic Methods in Computer Science (ASMICS 2)
• Modelling And Analysis Of Time Constrained And Hierarchical Systems (MATCH)
• Formale Sprachen, Automaten und Petrinetze
• 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

[TGI] [Informatik] [Universität]