Hartmut Ehrig Explained

Hartmut Ehrig
Birth Date:	6 December 1944
Birth Place:	Angermünde
Fields:	Algebraic specification, Graph grammars
Workplaces:	TU Berlin
Alma Mater:	TU Berlin
Thesis1 Title:	Übertragung universeller und spezieller Probleme in F-Morphismendarstellung
Thesis1 Url:	and
Thesis2 Url:	)-->
Thesis1 Year:	1971
Thesis2 Title:	Automata Theory and Formal Language
Thesis2 Year:	1974
Doctoral Advisor:	Kurt Leichtweiß
Doctoral Students:	Hans-Jörg Kreowski, ,
Spouse:	Gertraud
Partners:	)-->
Children:	Karsten, Timo, Rita

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.^[1]

Vita

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.^{[1] [2]}

Selected publications

• Ph.D. thesis . Hartmut Ehrig . Technische Universität Berlin . 1971 .
• Book: Hartmut Ehrig . Michael Pfender . Kategorien und Automaten . Berlin . de Gruyter . 1972 . 3-11-003902-8 . 10.1515/9783110832020 .
• Book: 10.1109/SWAT.1973.11 . https://ieeexplore.ieee.org/document/4569741 . Hartmut Ehrig . Michael Pfender . Hans-Jürgen Schneider . Graph-Grammars: An Algebraic Approach . IEEE Conference Record of 14th Annual Symposium on Switching and Automata Theory (SWAT'08) . IEEE . 167 - 180 . Oct 1973 .
• Book: 3-519-02054-8 . Hartmut Ehrig . Klaus-Dieter Kiermeier . Hans-Jörg Kreowski . Wolfgang Kühnel . Stuttgart . Teubner . 1974 .
• Book: 10.1007/BFb0025726 . 978-3-540-35091-0 . Volker Claus . Hartmut Ehrig . Grzegorz Rozenberg . Heidelberg . Springer . Lecture Notes in Computer Science . 73 . 1979 .
• Book: Fundamentals of Algebraic Specification 1  - Equations and Initial Semantics . 978-3-642-69964-1 . Hartmut Ehrig . Bernd Mahr . Heidelberg . Springer . Monographs in Theoretical Computer Science . 6 . 1st . 1985 .
• Book: Fundamentals of Algebraic Specification 2  - Module Specifications and Constraints . 978-3-642-64776-5 . Hartmut Ehrig . Bernd Mahr . Heidelberg . Springer . Monographs in Theoretical Computer Science . 21 . 1st . 1990 .
• Book: Hartmut Ehrig . Klaus P. Jantke . Fernando Orejas . Horst Reichel . Recent Trends in Data Type Specification, Proceedings 7th Workshop on Abstract Data Types . Springer . LNCS . 534 . Apr 1990 .
• Book: I. Claßen . H. Ehrig . D. Wolz . Algebraic Specification Techniques and Tools for Software Development  - The ACT Approach . World Scientific Publishing . AMAST Series in Computing . 1993 .
• Book: Applications, Languages and Tools . 978-981-02-4020-2 . Hartmut Ehrig . G. Engels . H.-J. Kreowski . G. Rozenberg . World Scientific . Handbook of Graph Grammars and Computing by Graph Transformation . 2 . Oct 1999 . 10.1142/4180 .
• Book: 10.1007/3-540-45541-8 . 978-3-540-43067-4 . Hartmut Ehrig . Julia Padberg . Gabriel Juhás . Grzegorz Rozenberg . Heidelberg . Springer . Lecture Notes in Computer Science . 2128 . 2001 . 11160106.
• Book: 9783540205388 . Hartmut Ehrig . Wolfgang Reisig . Grzegorz Rozenberg . Herbert Weber . Heidelberg . Springer . Lecture Notes in Computer Science . 2472 . 2004 .
• Book: 10.1007/b100934 . 978-3-540-23207-0 . Hartmut Ehrig . Gregor Engels . Francesco Parisi-Presicce . Grzegorz Rozenberg . Heidelberg . Springer . LNCS . 3256 . 2004 . 32093939.
• Book: 10.1007/3-540-31188-2 . 3-540-31187-4 . Hartmut Ehrig . Karsten Ehrig . Ulrike Prange . Gabriele Taentzer . Heidelberg . Springer . EATCS Monographs in Theoretical Computer Science . 2006 .
• Book: 10.1007/978-3-662-47980-3 . 978-3-662-47979-7. Hartmut Ehrig . Claudia Ermel . Ulrike Golas . Frank Hermann . Heidelberg . Springer . EATCS Monographs in Theoretical Computer Science . 2015 . 27723564.

References

• Book: 9783540249368 . Hans-Jörg Kreowski and Ugo Montanari and Fernando Orejas and Gregorz Rozenberg and Gabriele Taentzer . Heidelberg . Springer . LNCS . 3393 . 2005 .

External links

• • • Vita at TU Berlin - contains a portrait photo

Notes and References

1. Web site: Technische Universität Berlin . Obituary Hartmut Ehrig . 2016-03-27 . German .
2. Web site: Vita Hartmut Ehrig . TU Berlin . English.