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] In 1969, Ehrig received his diploma in mathematics from Technische Universität Berlin.
In 1976, he became a lecturer at the TU Berlin, and the director of its Institute for Software Engineering and Theoretical Computer Science.
Between 1981 and 1991, he was also Dean of its Department of Computer Science for several periods.