Hartmut Ehrig (born 6 December 1944 in
Angermünde
Angermünde () is a town in the district of Uckermark in the state of Brandenburg, Germany. It is about northeast of Berlin, the capital of Germany.
The population is about 14,000, but has been declining since its traditional industrial base, ...
; 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 Algebraic specification is a software engineering technique for formally specifying system behavior. It was a very active subject of computer science research around 1980.
Overview
Algebraic specification seeks to systematically develop more effic ...
of
abstract data type
In computer science, an abstract data type (ADT) is a mathematical model for data types. An abstract data type is defined by its behavior (Semantics (computer science), semantics) from the point of view of a ''User (computing), user'', of the dat ...
s, and in
graph grammar
In computer science, graph transformation, or graph rewriting, concerns the technique of creating a new graph out of an original graph algorithmically. It has numerous applications, ranging from software engineering (software construction and also ...
s.
Vita
In 1969, Ehrig received his diploma in mathematics from the
Technical University (TU) of 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
The Thomas J. Watson Research Center is the headquarters for IBM Research. The center comprises three sites, with its main laboratory in Yorktown Heights, New York, U.S., 38 miles (61 km) north of New York City, Albany, New York and with ...
, 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
The European Association for Theoretical Computer Science (EATCS) is an international organization with a European focus, founded in 1972. Its aim is to facilitate the exchange of ideas and results among theoretical computer scientists as well as ...
Vice President from 1997 to 2002.
He retired on 1 October 2010.
Selected publications
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
References
*
External links
*
*
Vitaat TU Berlin — contains a portrait photo
{{DEFAULTSORT:Ehrig, Hartmut
1944 births
2016 deaths
German computer scientists
Technical University of Berlin alumni
Academic staff of the Technical University of Berlin