Hartmut Ehrig (born 6 December 1944 in
Angermünde
Angermünde () is a town in the district of Uckermark in the state of Brandenburg, in north-eastern Germany. It is about northeast of Berlin, the capital of Germany.
The population is about 14,000, but has been declining since its traditional i ...
; 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, defined by its behavior (semantics) from the point of view of a '' user'' of the data, specifically in terms of possible values, possible operations on data ...
s, and in
graph grammar
In computer science, graph transformation, or graph rewriting, concerns the technique of creating a new graph (discrete mathematics), graph out of an original graph algorithmically. It has numerous applications, ranging from software engineering (s ...
s.
Vita
In 1969, Ehrig received his diploma in mathematics from
Technische Universität Berlin
(TU Berlin; also known as Berlin Institute of Technology and Technical University of Berlin, although officially the name should not be translated) is a public university, public research university located in Berlin, Germany. It was the first ...
.
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. Its main laboratory is in Yorktown Heights, New York, 38 miles (61 km) north of New York City. It also operates facilities in Cambridge, Massachusetts and Albany, ...
, 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
Technische Universität Berlin alumni
Academic staff of Technische Universität Berlin