Contact
Institut für Informationssysteme
D-38092 Braunschweig
visitors: Mühlenpfordtstraße 23
E-Mail : HD.Ehrich@tu-bs.de
Phone : {+49|0}-531-391-3267
Fax : {+49|0}-531-391-3298
Research
interests and projects
Development of information systems
Modeling and specification concepts
Multi-object logics and
checking
Applications
bioinformatic databases and modeling
Integrated specification of a traffic
control system
Publications
since 1994,
10 selected papers ,
complete list
here is the list of publications
of the information systems group
(including those which I did not (co)author).
I supervised these PhD theses and these
habilitations.
Courses
Undergraduates
Algorithms and data structures
Graduates
Database systems
Information systems design
Conceptual modeling of information
systems
Transaction processing
Master
Distributed Databases and Peer-to-Peer
Systems
Digital Libraries
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 and steering
committees, 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
Farewell celebration
on 15 February,
2007, Photos
Evening party on 15 February, 2007
Last update: February 2010