Größere Forschungs- und Entwicklungsprojekte

• Dietz Computer Systeme (Mülheim):
  Implementierung von PASCAL als Systemimplementierungssprache
• Norsk Data (Oslo, Mülheim, Kiel):
  Mehrsprachen-Mehrmaschinen-Übersetzersystem CAT, basierend auf VDM
• Dr. Hell (Kiel):
  Expertensysteme zur Bedienung von Hell-Skannern; BABYLON-Expertensystemsprache-Übersetzer
• ITK (Kiel), Nixdorf (Paderborn, München):
  Ablösung des BASIC-Interpretierens durch Übersetzen
• Siemens (München):
  Befehlsprofiluntersuchungen
• Philips (Hamburg, Aachen):
  Objektorientierung und Transaktionen in Betriebssystemen und Netzen
• VW-Gedas (Berlin):
  Common LISP-Übersetzer CLICC für industrielle KI-Anwendungen

• Mit F.L. Bauer, TU München, und K. Indermark, RWTH Aachen, Mitinitiator der seit 1980 im zweijährigen Turnus laufenden Kolloquiumsserie "Programmiersprachen und Grundlagen der Programmierung"
• 1989 - 95 EU-ESPRIT-Basic Research Activities-Projekt "Provably Correct Systems - ProCoS" mit Uni. Oxford (C.A.R. Hoare), DTU Lyngby (D. Bjørner, A.P. Ravn), Uni. Oldenburg (E.-R. Olderog)
• 1995 - 2004 Überregionale DFG-Forschergruppe "Verifizierte Übersetzer-Verifix" mit Uni. Karlsruhe (G. Goos), Uni. Ulm (F.W. von Henke)