Hartmut Ehrig (born 6 December 1944 in Angermünde; died 17 March 2016) was a German computer scientist and professor of theoretical computer science and formal specification. He was a pioneer in algebraic specification of abstract data types, and in graph grammars.[2]

Hartmut Ehrig
Born(1944-12-06)6 December 1944
Died17 March 2016(2016-03-17) (aged 71)
Alma materTU Berlin
SpouseGertraud
ChildrenKarsten, Timo, Rita
Scientific career
FieldsAlgebraic specification,
Graph grammars
InstitutionsTU Berlin
Theses
  • Übertragung universeller und spezieller Probleme in F-Morphismendarstellung  (1971)
  • Automata Theory and Formal Language  (1974)
Doctoral advisorKurt Leichtweiß[1]
Doctoral studentsHans-Jörg Kreowski,
Michael Löwe [de],
Bernd Mahr [de]

Vita

edit

In 1969, Ehrig received his diploma in mathematics from Technische Universität Berlin. In 1971, he earned his doctorate, and in 1974 his habilitation from the same university. Subsequently, he had research stays at the Thomas J. Watson Research Center, among others. In 1976, he became a lecturer at the TU Berlin, and the director of its Institute for Software Engineering and Theoretical Computer Science. In 1984, he was appointed full professor at the TU Berlin. Between 1981 and 1991, he was also Dean of its Department of Computer Science for several periods. He was EATCS Vice President from 1997 to 2002. He retired on 1 October 2010.[2][3]

Selected publications

edit
  • Hartmut Ehrig (1971). Übertragung universeller und spezieller Probleme in F-Morphismendarstellung (Ph.D. thesis). Technische Universität Berlin.
  • Hartmut Ehrig; Klaus-Dieter Kiermeier; Hans-Jörg Kreowski; Wolfgang Kühnel (1974). Universal theory of automata — a categorial approach. Stuttgart: Teubner. ISBN 3-519-02054-8.
  • Volker Claus; Hartmut Ehrig; Grzegorz Rozenberg, eds. (1979). Graph-Grammars and Their Application to Computer Science and Biology. Lecture Notes in Computer Science. Vol. 73. Heidelberg: Springer. doi:10.1007/BFb0025726. ISBN 978-3-540-35091-0.
  • Hartmut Ehrig; Klaus P. Jantke; Fernando Orejas; Horst Reichel, eds. (Apr 1990). Recent Trends in Data Type Specification, Proceedings 7th Workshop on Abstract Data Types. LNCS. Vol. 534. Springer.
  • I. Claßen; H. Ehrig; D. Wolz (1993). Algebraic Specification Techniques and Tools for Software Development – The ACT Approach. AMAST Series in Computing. World Scientific Publishing.
  • Hartmut Ehrig; Wolfgang Reisig; Grzegorz Rozenberg; Herbert Weber (2004). Petri Net Technology for Communication-Based Systems. Lecture Notes in Computer Science. Vol. 2472. Heidelberg: Springer. ISBN 9783540205388.
  • Hartmut Ehrig; Gregor Engels; Francesco Parisi-Presicce; Grzegorz Rozenberg, eds. (2004). Proceedings of the 2nd International Conference on Graph Transformation (ICGT). LNCS. Vol. 3256. Heidelberg: Springer. doi:10.1007/b100934. ISBN 978-3-540-23207-0. S2CID 32093939.
  • Hartmut Ehrig; Karsten Ehrig; Ulrike Prange; Gabriele Taentzer (2006). Fundamentals of Algebraic Graph Transformation. EATCS Monographs in Theoretical Computer Science. Heidelberg: Springer. doi:10.1007/3-540-31188-2. ISBN 3-540-31187-4.

References

edit
  1. ^ Hartmut Ehrig at the Mathematics Genealogy Project
  2. ^ a b Technische Universität Berlin (2016-03-27). "Obituary Hartmut Ehrig" (in German).
  3. ^ TU Berlin (ed.). "Vita Hartmut Ehrig".
  • Hans-Jörg Kreowski and Ugo Montanari and Fernando Orejas and Gregorz Rozenberg and Gabriele Taentzer, ed. (2005). Formal Methods in Software and Systems Modelling — Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday. LNCS. Vol. 3393. Heidelberg: Springer. ISBN 9783540249368.
edit