Hartmut Ehrig
{{Short description|German computer scientist}}
{{Infobox scientist
| honorific_prefix =
| name = Hartmut Ehrig
| honorific_suffix =
| native_name =
| native_name_lang =
| image =
| image_size =
| image_upright =
| alt =
| caption =
| birth_name =
| birth_date = {{birth date|1944|12|6|df=y}}
| birth_place = Angermünde
| death_date = {{death date and age|2016|3|17|1944|12|6|df=y}}
| death_place =
| death_cause =
| resting_place =
| resting_place_coordinates =
| other_names =
| siglum =
| pronounce =
| citizenship =
| nationality =
| fields = Algebraic specification,
Graph grammars
| workplaces = TU Berlin
| patrons =
| education =
| alma_mater = TU Berlin
| thesis1_title = Übertragung universeller und spezieller Probleme in F-Morphismendarstellung
| thesis_url =
| thesis1_year = 1971
| thesis2_title = Automata Theory and Formal Language
| thesis2_year = 1974
| doctoral_advisor = Kurt Leichtweiß{{mathGenealogy|id=19791}}
| academic_advisors =
| doctoral_students = Hans-Jörg Kreowski,
{{ill|Michael Löwe|de}},
{{ill|Bernd Mahr|de}}
| notable_students =
| known_for =
| influences =
| influenced =
| awards =
| author_abbrev_bot =
| author_abbrev_zoo =
| spouse = Gertraud
| partner =
| children = Karsten, Timo, Rita
| signature =
| signature_alt =
| website =
| footnotes =
}}
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.{{cite web |author=Technische Universität Berlin |url=https://trauer.tagesspiegel.de/todesanzeige/hartmut-ehrig |title=Obituary Hartmut Ehrig |date=2016-03-27 |language=German }}
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.{{cite web |url=https://www.tfs.tu-berlin.de/menue/home/team/ehrig_hartmut_prof/ |title=Vita Hartmut Ehrig |editor=TU Berlin |language=English}}
Selected publications
- {{cite thesis | type=Ph.D. thesis | url= | author=Hartmut Ehrig | title=Übertragung universeller und spezieller Probleme in F-Morphismendarstellung | institution=Technische Universität Berlin | year=1971 }}
- {{cite book | author1=Hartmut Ehrig |author2= Michael Pfender | title=Kategorien und Automaten | location=Berlin | publisher=de Gruyter | year=1972 |isbn=3-11-003902-8 | doi=10.1515/9783110832020 }}
- {{cite book | doi=10.1109/SWAT.1973.11 | contribution-url=https://ieeexplore.ieee.org/document/4569741 | author1=Hartmut Ehrig |author2= Michael Pfender |author3= Hans-Jürgen Schneider | contribution=Graph-Grammars: An Algebraic Approach | editor= | title=IEEE Conference Record of 14th Annual Symposium on Switching and Automata Theory (SWAT'08) | publisher=IEEE | pages=167–180 | date=Oct 1973 }}
- {{cite book | url= | isbn=3-519-02054-8 | author1=Hartmut Ehrig |author2= Klaus-Dieter Kiermeier |author3= Hans-Jörg Kreowski |author4= Wolfgang Kühnel | title=Universal theory of automata — a categorial approach | location=Stuttgart | publisher=Teubner | year=1974 }}
- {{cite book | doi=10.1007/BFb0025726 | url= | isbn=978-3-540-35091-0 | editor1=Volker Claus |editor2=Hartmut Ehrig |editor3= Grzegorz Rozenberg | title=Graph-Grammars and Their Application to Computer Science and Biology | location=Heidelberg | publisher=Springer | series=Lecture Notes in Computer Science | volume=73 | year=1979 }}
- {{cite book | url=https://www.springer.com/gp/book/9783642699641 | isbn=978-3-642-69964-1 | author1=Hartmut Ehrig |author2= Bernd Mahr | title=Fundamentals of Algebraic Specification 1 – Equations and Initial Semantics | location=Heidelberg | publisher=Springer | series=Monographs in Theoretical Computer Science | volume=6 | edition=1st | year=1985 }}
- {{cite book | url=https://www.springer.com/gp/book/9783540517993 | isbn=978-3-642-64776-5 | author1=Hartmut Ehrig |author2= Bernd Mahr | title=Fundamentals of Algebraic Specification 2 – Module Specifications and Constraints | location=Heidelberg | publisher=Springer | series=Monographs in Theoretical Computer Science | volume=21 | edition=1st | year=1990 }}
- {{cite book | editor1=Hartmut Ehrig |editor2= Klaus P. Jantke |editor3= Fernando Orejas |editor4= Horst Reichel | title=Recent Trends in Data Type Specification, Proceedings 7th Workshop on Abstract Data Types | publisher=Springer | series=LNCS | volume=534 | date=Apr 1990 }}
- {{cite book | author1=I. Claßen |author2= H. Ehrig |author3= D. Wolz | title=Algebraic Specification Techniques and Tools for Software Development – The ACT Approach | publisher=World Scientific Publishing | series=AMAST Series in Computing | year=1993 }}
- {{cite book | url=https://www.worldscientific.com/worldscibooks/10.1142/4180 | isbn=978-981-02-4020-2 | editor1=Hartmut Ehrig |editor2= G. Engels |editor3= H.-J. Kreowski |editor4= G. Rozenberg | title=Applications, Languages and Tools | location= | publisher=World Scientific | series=Handbook of Graph Grammars and Computing by Graph Transformation | volume=2 | date=Oct 1999 | doi=10.1142/4180 }}
- {{cite book | doi=10.1007/3-540-45541-8 | url= | isbn=978-3-540-43067-4 | editor1=Hartmut Ehrig |editor2= Julia Padberg |editor3= Gabriel Juhás |editor4= Grzegorz Rozenberg | title=Unifying Petri Nets – Advances in Petri Nets | location=Heidelberg | publisher=Springer | series=Lecture Notes in Computer Science | volume=2128 | year=2001 | s2cid= 11160106}}
- {{cite book | url= | isbn=9783540205388 | author1=Hartmut Ehrig |author2= Wolfgang Reisig |author3= Grzegorz Rozenberg |author4= Herbert Weber | title=Petri Net Technology for Communication-Based Systems | location=Heidelberg | publisher=Springer | series=Lecture Notes in Computer Science | volume=2472 | year=2004 }}
- {{cite book | doi=10.1007/b100934 | url= | isbn=978-3-540-23207-0 | author= | editor1=Hartmut Ehrig |editor2= Gregor Engels |editor3= Francesco Parisi-Presicce |editor4= Grzegorz Rozenberg | title=Proceedings of the 2nd International Conference on Graph Transformation (ICGT) | location=Heidelberg | publisher=Springer | series=LNCS | volume=3256 | year=2004 | s2cid= 32093939}}
- {{cite book | doi=10.1007/3-540-31188-2 | url= | isbn=3-540-31187-4 | author1=Hartmut Ehrig |author2= Karsten Ehrig |author3= Ulrike Prange |author4= Gabriele Taentzer | title=Fundamentals of Algebraic Graph Transformation | location=Heidelberg | publisher=Springer | series=EATCS Monographs in Theoretical Computer Science | volume= | year=2006 }}
- {{cite book | doi=10.1007/978-3-662-47980-3 | url= | isbn= 978-3-662-47979-7| author1=Hartmut Ehrig |author2= Claudia Ermel |author3= Ulrike Golas |author4= Frank Hermann | title=Graph and Model Transformation | location=Heidelberg | publisher=Springer | series=EATCS Monographs in Theoretical Computer Science | volume= | year=2015 | s2cid= 27723564}}
References
{{reflist}}
- {{cite book | url= | isbn=9783540249368 | editor=Hans-Jörg Kreowski and Ugo Montanari and Fernando Orejas and Gregorz Rozenberg and Gabriele Taentzer | title=Formal Methods in Software and Systems Modelling — Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday | location=Heidelberg | publisher=Springer | series=LNCS | volume=3393 | year=2005 }}
External links
- {{DNB-Portal|107905582}}
- {{dblp|e/HartmutEhrig}}
- [https://www.tfs.tu-berlin.de/menue/home/team/ehrig_hartmut_prof Vita] at TU Berlin — contains a portrait photo
{{authority control}}
{{DEFAULTSORT:Ehrig, Hartmut}}
Category:German computer scientists