Hartmut Ehrig

Hartmut Ehrig
Born(1944-12-06)6 December 1944
Angermünde
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]

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]

  1. ^ Hartmut Ehrig at the Mathematics Genealogy Project
  2. ^ Technische Universität Berlin (2016-03-27). "Obituary Hartmut Ehrig" (in German).