FORSCHUNGSBERICHT 2004 - Fachrichtung Chemie und ...

2. Große Interdisziplinäre Forschungsprojekte
In unserem Graduiertenkolleg (mit zehn Stipendiaten und neun Professoren) haben wir ein
intensives Studien- und Forschungsprogramm durch folgende Komponenten gepfl egt: zwei
einwöchige Klausuren, wöchentlich stattfi ndende (zwei- bis dreistündige) Arbeitstreffen und
Vorträge zahlreicher Gastwissenschaftler, die zum Teil bis zu einer Woche im Graduiertenkolleg
waren.
Dabei entstanden Synergien, die im Ausblick kurz erläutert werden.
Inhaltliche Beschreibung und Teilprojekte:
Das Forschungsprogramm unterteilt sich in fünf Foschungsschwerpunkte:
1. Algebraische Modelle für Prozesse
2. Kategorientheoretische Modelle für Prozesse
3. Logik-Spezifi kation von Prozessen
4. Semiautomatische Verifi kation von Prozesseigenschaften
5. Begriffl iche Wissensverarbeitung bei diskreten Prozessen
Interdisziplinäre Verflechtung mit anderen TU-Instituten und
Kooperation mit anderen wissenschaftlichen Einrichtungen:
An unserem Graduiertenkolleg sind neben den fünf Professoren der Fakultät Informatik auch
vier Professoren des Institutes für Algebra der Fakultät Mathematik und Naturwissenschaften
beteiligt. Diese Zusammenarbeit hat sich als sehr fruchtbar erwiesen: Zum einen kamen viele
Impulse aus der jeweils anderen Fachrichtung; einen weiteren positiven Effekt hatte diese
Zusammenarbeit bei der Überarbeitung der Inhalte der Pfl ichtvorlesungen Mathematik im
Rahmen des Diplomstudienganges Informatik, die maßgeblich von den Kollegen des Graduiertenkollegs
vorangebracht wurde.
Ergebnisse (Ausblick):
Neben einigen beachtlichen Publikationen der Stipendiaten in begutachteten Fachzeitschriften
und Proceedings internationaler Konferenzen schließen aller Voraussicht nach die meisten
unserer Stipendiaten ihre Promotion innerhalb des Dreijahreszeitraumes ab.
Ausblick: Durch die intensive Zusammenarbeit zwischen Vertretern der Fächer Informatik
und Mathematik sind wir zuversichtlich, auch diese dritte und letzte Phase sehr positiv gestalten
zu können.
Lehrveranstaltungen:
• Spezifi kation diskreter Prozesse und Prozesssysteme durch operationelle Modelle und
Logiken (in jedem Semester V2)
146