Prof. Dr. Hartmut Ehrig
Technische Universität Berlin
Institut für Softwaretechnik und Theoretische Informatik
Sekr. FR 6-1
Franklinstr. 28/29
D-10587 Berlin, Germany
E-Mail ehrig@cs.tu-berlin.de

Hartmut Ehrig is full professor of Theoretical Computer Science/Formal Specification at the Technical University of Berlin, Germany. He is leader of several national and international research projects in Theoretical Computer Science and Formal Software Development: The ESPRIT-projects SEDOS, LOTOSPHERE, ESPRIT-Basic Research WG's ASMICS, COMPASS, COMPUGRAPH, APPLIGRAPH, the German BMFT, BMBF and DFG-projects KORSO, ESPRESS, ACT, DAO, Graph-Transformations, and Petri Net Technology and the TMR-network GETGRATS. He has produced more than 200 publications in international conference proceedings and journals. He had various research stays at the IBM Thomas J. Watson Research Center, Yorktown Heights, NY, University of Catalunya, Barcelona, and at the University of Southern California, Los Angeles, University of Leiden, University of Rome, and University of Pisa.

He was the Organizer and Program Chairman of many international workshops and conferences on graph grammars, abstract data types and theory and practice of software development (TAPSOFT) and program committee member of several of the leading European conferences.

He is member of IFIP WG 11.3 (Foundations of System Specification) and IFIP WG 2.2 (Formal Methods in Programming) and of the following editorial boards:
1. "Journal of Computer and System Science", Academic Press,
2. "Mathematical Structures in Computer Science", Cambridge University Press, and
3. "Applied Categorical Structures", Kluwer Academic Publishers.

Moreover he is editor of the "Formal Specification Column" in the Bulletin of the EATCS, editor of several volumes in Springer Lecture Notes in Computer Science, and reviewer for several scientific and industrial projects including the German Research Council(DFG) and ESPRIT and steering committee member of the European Joint Conference on Theory and Practice of Software (ETAPS).