Hartmut Ehrig

from Wikipedia, the free encyclopedia

Hartmut Ehrig (born December 6, 1944 in Angermünde ; † March 17, 2016 ) was a German computer scientist and professor of theoretical computer science and formal specification .

resume

Ehrig was born in Angermünde in 1944, received his diploma in mathematics at the TU Berlin in 1969 , where he did his doctorate in 1971 and habilitated in 1974. He then completed research stays at the Thomas J. Watson Research Center, among others . In 1976 he became a lecturer (AH 5) at the TU Berlin, where he also took over the management of the Institute for Software Technology and Theoretical Computer Science. In 1984 he was appointed full professor (C4) at the TU Berlin. Ehrig was dean of the computer science department there several times between 1981 and 1991. He retired on October 1, 2010.

research

Ehrig organized a series of conferences and workshops in the area of ​​his main research area, theoretical computer science. He published, among other things, on questions of graph transformation , graph grammars and abstract data types .

Publications (selection)

  • Hartmut Ehrig: Transfer of universal and special problems in F-morphism representation . 1971 (dissertation, Technical University Berlin).
  • Hartmut Ehrig, Klaus-Dieter Kiermeier, Hans-Jörg Kreowski, Wolfgang Kühnel: Universal theory of automata - a categorial approach . Teubner, Stuttgart 1974, ISBN 3-519-02054-8 .
  • Hartmut Ehrig, Bernd Mahr: Fundamentals of Algebraic Specification 1: Equations and Initial Semantics (=  EATCS Monographs on Theoretical Computer Science . Volume 6 ). Springer, Berlin / Heidelberg / New York 1985, ISBN 3-540-13718-1 , doi : 10.1007 / 978-3-642-69962-7 .
  • Hartmut Ehrig and Bernd Mahr: Fundamentals of Algebraic Specification 2: Module Specifications and Constraints (=  Monographs in Theoretical Computer Science . Volume 21 ). 1st edition. Springer, Heidelberg 1990, ISBN 978-3-642-64776-5 ( online ).
  • Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer: Fundamentals of algebraic graph transformation (=  Monographs in Theoretical Computer Science. An EATCS Series ). Springer, Berlin / Heidelberg / New York 2006, ISBN 3-540-31187-4 , doi : 10.1007 / 3-540-31188-2 .
  • Hartmut Ehrig, Claudia Ermel, Ulrike Golas, Frank Hermann: Graph and Model Transformation (=  Monographs in Theoretical Computer Science. An EATCS Series ). Springer, Berlin / Heidelberg / New York 2015, doi : 10.1007 / 978-3-662-47980-3 .

Web links

Individual evidence

  1. ↑ a b Technical University of Berlin: Obituary notice Hartmut Ehrig. In: Tagesspiegel. March 27, 2016, accessed April 14, 2019 .
  2. ↑ CV of Prof. Dr. Hartmut Ehrig on the website of the TU Berlin. In: tu-berlin.de. Technical University of Berlin, accessed on April 16, 2019 .
personal data
SURNAME Honestly, Hartmut
BRIEF DESCRIPTION German computer scientist
DATE OF BIRTH December 6, 1944
PLACE OF BIRTH Angermünde
DATE OF DEATH 17th March 2016