40 Jahre Informatik in München - Fakultät für Informatik - TUM

den. Wilfried Brauer, Fred Kröger, Wolfgang Reisig und später Javier
Esparza (inzwischen Nachfolger auf dem Lehrstuhl von W. Brauer) sowie
Klaus-Jörn Lange mit ihren Mitarbeitern entwickelten eine Reihe von
Konzepten, Methoden und Werkzeugen zur Spezifikation, Modellierung,
Analyse, Verifikation und Simulation verteilter reaktiver oder mobiler
Systeme sowie zur komplexitätstheoretischen Analyse der Kommunikationsstrukturen
und Datenzugriffskonzepte paralleler Berechnungen.
Eike Jessen, Bernd Radig, Ulrich Furbach und Bertram Fronhöfer implementierten
mehrere Generationen paralleler Theorembeweiser. Das
Teilprojekt um Manfred Broy entwickelte viele Beiträge zur allgemeinen
Theorie, Entwurfsmethodik, Spezifikation und Verifikation verteilter
Systeme sowie formale Beschreibungstechniken und entsprechende Werk-
zeugunterstützungen.
Ähnlich wie im Fall Bemmerl wurden zwei Ar-
beitsgruppen des SFB 342 von anderen Universitäten abgeworben: Bereits
1993 ging W. Reisig mit Mitarbeitern an die Humboldt-Universität
Berlin und ein Jahr später Lange und Mitarbeiter nach Tübingen. Beide
bauten neue Lehrstühle mit kleinen Informatikgruppen erfolgreich auf
und jeweils einer der aus München mitgegangenen Mitarbeiter ist jetzt
C4-Professor (Jörg Desel in Eichstätt, Rolf Niedermeier in Jena)
Durch neue Berufungen kam das Teilprojekt um Ernst Mayr und Angelika
Steger mit dem Schwerpunkt der Entwicklung effizienter paralleler Algorithmen
und Schedules sowie komplexitätstheoretischer Abschätzungen
dazu, wie auch die Gruppe um Peter Paul Spies, die sich mit dem konstruktiven
sprachbasierten Entwurf von Betriebssystemen für verteilte
Architekturen befaßte. Die Gruppen um Kurt Antreich, Frank Johannes
in der Fakultät für Elektrotechnik und um Albert Gilg, Zentralabteilung
Technik der Siemens AG, befaßten sich mit der Parallelisierung verschiedenster
Verfahren für die Entwurfsautomatisierung, insbesondere für die
Layoutsynthese, die Testvorbereitung, die Simulation und die Partitionierung.
Rudolf Bayer und Bernhard Mitschang bearbeiteten die Parallelisierung
relationaler und objekt-relationaler Datenbanksysteme mit dem Schwerpunkt
der Query-Bearbeitung und Optimierung. Christoph Zenger, Thomas
Huckle und Hans Joachim Bungartz beschäftigten sich mit dem Entwurf,
der Analyse und der Implementierung von parallelen, hierarchisch
strukturierten numerischen Algorithmen für natur- und ingenieurwissenschaftliche
Aufgabenstellungen. Die Lastverteilung in parallelen und verteilten
Systemen wurde von der Gruppe um Wolfgang Paul an der TU
München sowie um Lothar Bormann und Björn Schiemann bei der Siemens
AG bearbeitet.
Die später begonnenen Arbeiten zu den Forschungsverbünden FORT-
WIHR und KONWIHR sowie die Etablierung des Leibniz-Rechenzen-
284