Hartmut Ehrig

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.

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ß
Doctoral studentsHans-Jörg Kreowski,
Michael Löwe,
Bernd Mahr
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.