Professional CV
Research and teaching assistent, U Hannover 1967-71
Research and teaching assistent, U Kiel, 1971-74
Professor of theoretical computer science, U Dortmund, 1974-82
Dean of faculty, 1979-80
Professor of Databases and Information systems, TU Braunschweig, since 1982
Dean of the faculty, 1997-99
Emeritus since April 2007
Science
Organization
Chairman of the Advisory Board
(Beirat) of the Minerva Center "Verification of Reactive
Systems" at the Weizmann Institute in Rehovot, Israel,
1998-2005
Member of the editorial board of the "Journal of Logic in
Computer Science", Oxford University Press
Member of the Inspection and Advisory Board (Fachbeirat) of
the Max-Planck-Institut für Informatik in Saarbrücken,
1992-2000
Coordinator of the EU ESPRIT 4 Working Group 22704 ASPIRE,
1997-2000
Organizer, Coorganizer, member of program committee
etc. of many conferences and workshops
Memberships
IFIP
Working Group 3.1 (Foundations of System Specification),
since 1992
IFIP Working Group 2.6 (Databases), 1985-96
GI Fachausschuss 2.5 (Rechnergestützte
Informations-systeme), 1987-98
ISO TC96 SC 5 WG 3 (Conceptual Model), 1979-82
ACM, IEEE, GI, EATCS (until 2000)
Braunschweigische Wissenschaftliche Gesellschaft,
since 1992
Last update: June 2008