Mitgliedschaften und Ämter
(außerhalb der eigenen Universitäten)

• 1969 Vertreter von Prof. Samelson im ad hoc GAMM/NTG-Ausschuß, Bonn, zur Definition des neuen universitären Diplomstudienganges Informatik
• 1969 Gründungsmitglied der Gesellschaft für Informatik (GI)
• 1969 - 71 erster Schriftführer der GI
• 1970 - 80 gewählter DFG-Fachgutachter für Informatik
• 1975 - 80 Vorsitzender des DFG-Fachgutachterausschusses Informatik
• 1970 - 80 Vorsitzender des GI-Fachausschusses ``Programmiersprachen''
• 1975 - 98 Mitglied der IFIP-Working Group 2.2 ``Formal Description of Programming Concepts''
• seit 1970 Gutachter und Berichterstatter für DFG-Sonderforschungsbereiche, Schwerpunktprogramme und Graduiertenkollegs
• 1990 - 93 Mitglied des Senats der Deutschen Forschungsgemeinschaft
• 1991 - 98 Vorsitzender der Prüfergruppe des DFG-Schwerpunktprogramms ``Deduktion''
• 1988 - 2000 wissenschaftlicher Berater der Deutsch-Israelischen Stiftung GIF für wissenschaftliche Forschung und Entwicklung
• 1991 - 92 Mitglied der Überleitungskommission Mathematik-Informatik des neuen Bundeslandes Mecklenburg-Vorpommern
• seit 1996 Mitglied des Beirats des Technologiezentrums Informatik TZI der Universität Bremen, 1996 - 2007 Vorsitzender