TU-Logo
 
      Technische Universität Berlin
Fakultät Elektrotechnik und Informatik
Institut für Softwaretechnik und Theoretische Informatik
Theoretische Informatik - Formale Spezifikation (TFS)

Home

Curriculum Vitae

Monographies

Publications

Publications (DBLP)

Research Projects

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[AT]cs.tu-berlin.de
Room FR 6024

Hartmut Ehrig has been full professor of Theoretical Computer Science/Formal Specification at Technische Universität Berlin, Germany. Since October 2010 he is retired as university professor but he continues as project leader of several research projects. He has been leader of the following important 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,  Petri Net Technology, ForMAlNET, BehaviourGT and the TMR-networks GETGRATS and SEGRAVIS. He has produced more than 400 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 has been Steering Committee Chair and Member, Organizer and Program Chairman and Member of many international conferences and workshops on graph grammars, abstract data types and theory and practice of software development (TAPSOFT, ETAPS, ICGT). 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), Fundamenta Informaticae (IOS Press), 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. He has received the honorary Kosterman Professorship at Leiden University (1993-94), the C. V. Ramamoorthy Distinguished Scholar Award from the Society for Design and Process Science (SDPS) in Pasadena 2002, and the ICGT Award for the Most Influential Paper in the Area of Graph Transformation Since 25 Years, at ICGT 2010 in Enschede.

Hartmut Ehrig's Scientific Offspring (Poster, PDF, DIN A1)

WEBMASTER · IMPRESSUM · TU BERLIN · BERLIN · DEUTSCHLAND