Technische Universität Berlin
Fakultät Elektrotechnik und Informatik
Institut für Softwaretechnik und Theoretische Informatik
Theoretische Informatik - Formale Spezifikation (TFS)
Prof. Dr. Hartmut Ehrig |
|
|
|
Hartmut Ehrig is
full professor of Theoretical Computer Science/Formal Specification at the
Technical University of Berlin, Germany. He has been 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, IOSIP, and Petri Net Technology and the TMR-network
GETGRATS, and SEGRAVIS. He has produced more than 250 publications in
international conference proceedings and journals. He had various research stays at the He has been 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 chair and committee member of several leading European and worldwide conferences. He is member of IFIP WG 1.3 (Found. of Syst. Spec.) and of the editorial boards of "Journal of Computer and System Science" (Academic Press), "Mathematical Structures in Computer Science" (Cambridge University Press), "Applied Categorical Structures", (Kluwer Academic Publishers), and “Journal of Integrated Design and Process Science” (Transact. of the SDPS). Moreover he is editor of the "Formal Specification Column" in the Bulletin of the EATCS, editor of various special issues of journals and of volumes in World Scientific Publishing and in Springer Lecture Notes in Computer Science, and reviewer for several scientific and industrial projects including ESPRIT Basic Research and several other EU projects. |
||