Research
Almost all information processing systems are based on imperative or functional programming languages or deduction systems. Their development essentially involves results of theoretical computer science. Whereas the area is covered almost completely for educational purposes, research concentrates on special subareas.
Third party funded projects
Current projects:
- Language, Automata, and Complexity Theory
- Concurrency, Petri Nets, and Distributed Algorithms
- Modeling and System Design
- Organizations and business processes
- Agent Technologies
- Languages, scripts and time
Closed third party funded projects
- DFG-Project Sozionics (ASKO)
- DFG-Projekt Sozionik (DISPO) (German only)
- Projekt SISOL (German only)
- Modelling And Analysis Of Time Constrained And Hierarchical Systems (MATCH)
- Algebraic and Syntactic Methods in Computer Science (ASMICS 2)
- Formal Languages, Automata, and Petri Nets
Former projects:
- Toward a unifying framework for concurrency
- Anwendung von Ergebnissen über Petrinetze in der Theorie der Matrixgrammatiken (German only)
- Strukturelle Untersuchungen dünner Mengen in NSPACE(log n) (German only)
- Modellieren und Verifizieren von nebenläufigen Systemen mit höheren Petrinetzen (German only)
- Algorithmen zur Analyse von Petrinetzeigenschaften (German only)
- Specification and Verification in a Type Theoretic Framework (German only)
- Generatoren durchschnitts- und twistabgeschlossener Trios (German only)
- Selbstverständnis der Informatik (German only)
