Im Forschungsbereich befaßt sich der Lehrstuhl neben der Entwicklung eines Netzwerk-Modellbetriebssystems mit der datengetriebenen wie auch mit der anforderungsgetriebenen Auswertung netzförmig beschriebener Programmstrukturen, insbesondere mit der Auswertung formaler Beschreibungen digitaler Systeme. Die zunehmende Komplexität gegenwärtiger und künftiger Systeme macht ihren Entwurf umfassend abhängig von der Verfügbarkeit geeigneter Werkzeuge für Computer-Aided Design. Dabei stellt das Komplexitätswachstum ständig steigende Anforderungen an die für den Einsatz von CAD-Software verfügbare Rechenleistung. Ein hemmender Faktor ist insbesondere die Verwendung der Von Neumann-Architektur als Basis für CAD-Software, da sie nur sequentielle Algorithmen unterstützt. Spezielles Forschungsziel innerhalb des weiten CAD-Spektrums ist die Entwicklung einer Variation von Architekturen für die Simulation digitaler Systeme und anderer Anwendungsgebiete einerseits auf der Grundlage vernetzter Universal- (Von Neumann-) Rechner und andererseits auf der Basis spezieller Datenflußrechnerkonzepte.