page0_1


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

Current projects



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 promotions and these habilitations.



Courses

Undergraduates
    Algorithms and data structures
Graduates
    Database systems
    Information systems design
    Conceptual modeling of information systems
    Transaction processing

Current courses


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