Research interests - information systems modeling, design, specification, implementation and checking; definition and implementation of the modeling and design language TROLL; theoretical foundations: temporal logic, (multi-)object logic, distributed model checking; among others.
Application projects - bioinformatic databases and modeling; specification, design and checking of railway interlocking systems; integrated specification of a train control system; several others.
Courses - undergratuates: algorithms and data structures; graduates: database systems, information systems design, conceptual modeling of information systems, transaction processing, digital libraries, managing data in bioinformatics.
Professional CV- 1967-71 research and teaching assistent, U Hannover; 1967-71 research and teaching assistent, U Kiel; 1974-82 professor of theoretical computer science, U Dortmund; 1979-80 dean of the faculty; 1982-2007 professor of databases and information systems, TU Braunschweig; 1997-99 dean of the faculty; since 2007 emeritus.
Science Organization - 1998-2005 chairman of the advisory board (Beirat) of the Minerva Center "Verification of Reactive Systems" at the Weizmann Institute in Rehovot, Israel. Member of the editorial board of the "Journal of Logic in Computer Science", Oxford University Press. 1992-2000 member of the inspection and advisory board (Fachbeirat) of the Max-Planck-Institut für Informatik in Saarbrücken. 1997-2000 coordinator of the EU ESPRIT 4 Working Group 22704 ASPIRE. Organizer, Coorganizer, member of program committee, member of steering 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 TC 96 SC 5 WG 3 (Conceptual Model), 1979-82; ACM, IEEE (until 2007), GI, EATCS (until 2000); Braunschweigische Wissenschaftliche Gesellschaft, since 1992.
- here is a list of people who worked with me some time between 1982 and 2007. I am very grateful, we had a good time!
- I supervised these PhD theses, and I coached these habilitations
- here is my publication list in chronological order
- here is my publication list grouped by categories
- here is the list of publications of my group, including those which I did not coauthor (until 2005)
Below please find my online publication list in reverse chronological order; many of the papers are offered for download.