Am Lehrstuhl von Prof. Dr.-Ing. Jacques Loeckx wurde im Rahmen
 eines DFG-Projektes eine Spezifikations- und Verifikationsumgebung
 für Softwaresysteme entwickelt. Im Rahmen des
Sonderforschungsbereichs 124 wurde .die Semantik paralleler
Prozesse untersucht. Außerdem wurde im Rahmen eines DAAD-Projektes
 (PROCOPE) an der Einbettung eines in Nancy entwickelten
 Termersetzungssystems in eine Verifikationsumgebung gearbeitet.


Die Forschungsarbeiten am Lehrstuhl von Prof. Dr. Kurt Mehlhorn
 konzentrieren sich auf den VLSI-Entwurf sowie die Untersuchung
 von Datenstrukturen und Algorithmen. Außerdem wurde
in den Bereichen "computational geometry"” und parallele Algorithmen
 gearbeitet. Die Forschungen wurden im Rahmen des Sonderforschungsbereichs
 124, dessen Sprecher Prof. Mehlhorn
derzeit ist, im Teilprojekt B1 durchgeführt und teilweise
auch durch das Schwerpunktprogramm "Datenstrukturen und effiziente
 Algorithmen" der DFG finanziert.

Am Lehrstuhl für Rechnerarchitektur und Parallele Rechner von
Prof. Dr. Wolfgang Paul wurde an parallelen Rechnersystemen
für numerische Anwendungen und für APL gearbeitet. Teilaktivitäten
 sind die Entwicklung von Mikroprozessorplatinen, einem
 10 MFLOPS-Vektorrechner, einem fehlertoleranten Permutationsnetz
 für 256 Prozessoren sowie von Compilern für Vektorrechner
 und für massiv-parallele Rechner. Die Vorhaben werden
u.a. finanziert durch Mittel des Sonderforschungsbereichs
124, des Leibniz-Förderprogamms und eines Joint Study Agreements
 mit IBM Research in San Jose. Im Rahmen des Grundstudiums
 Informatik wurde ein neues Hardware-Design-Praktikum
eingerichtet.

Am Lehrstuhl von Prof. Dr. Helge Scheidig, der gleichzeitig
im Berichtszeitraum Leiter des Rechenzentrums war, wurde im
Rahmen des Sonderforschungsbereichs 124 im Teilprojekt D3 an
verteilten, dezentral organisierten Betriebssystemen für
hochparallele Netze aus vielen Prozessoren gearbeitet. Unter
der Leitung von Prof. Scheidig wurde auch das zentrale
CANTUS-Vorhaben im Rahmen der III-Kooperation mit Siemens
durchgeführt.

Am Lehrstuhl für Künstliche Intelligenz und Datenbanksysteme
von Prof. Dr. Wolfgang Wahlster wurde an einem natürlichsprachlichen
 Zugangssystem für Expertensysteme und an der
sprachlichen Beschreibung der Ergebnisse eines Bildfolgenanalysesystems
 gearbeitet. Diese Forschungsaktivitäten fanden in
den zwei Teilprojekten N1 und N2 des Sonderforschungsbereichs
314 "Künstliche Intelligenz - Wissensbasierte Systeme" statt,
die nach einer erfolgreichen Begehung am 15.05.1987 mit erhöhter
 Ergänzungsausstattung um weitere drei Jahre verlängert
wurden. Einen weiteren Forschungsschwerpunkt bildeten kooperative
 Hilfesysteme, wobei im Rahmen der III1-Kooperation mit
Siemens ein erster Prototyp eines SINIX Consultant fertiggestellt
 werden konnte. Außerdem wurden Arbeiten zur wissensbasierten
 Anflugplanung für den Flughafen Franfkurt (PLANAIR)
und zu einem Beratungssystem für die Geldanlage (WISBER)