Klaus Indermark

from Wikipedia, the free encyclopedia

Klaus Indermark (born September 21, 1940 ) is a German computer scientist and university professor .

Life

Klaus Indermark was born on September 21, 1940. He did his doctorate in 1970 at the Rheinische Friedrich-Wilhelms-Universität Bonn under Karl Heinz Böhling with the dissertation on the state minimization of non-deterministic recognizing automata .

Together with Wilfried Brauer , Klaus Indermark published one of the first German-language computer science books in 1968. He did further pioneering work in computer science in the field of teaching in Germany at the Rheinisch-Westfälische Technische Hochschule Aachen together with Walter Oberschelp . An independent computer science diploma course was set up at RWTH Aachen University in 1972/73 and in 1975 Klaus Indermark was appointed to the third computer science chair there. When computer science was established as a subject, special attention was paid to the mathematical foundation, i.e. That is, theoretical computer science is placed in the foreground.

Klaus Indermark was at RWTH Aachen 2005 emeritus .

Publications

  • Algorithms, recursive functions and formal languages , together with Wilfried Brauer , 1968
  • Finite machines , together with Karl-Heinz Böhling, 2 parts, 1969 a. 1970
  • On the state minimization of nondeterministic cognitive automata , dissertation, 1970
  • Equation Definability in Relational Structures , 1975
  • Computability and Algorithms , 1977
  • Automata Theory and Formal Languages , together with Herbert Klaeren , 1981
  • Semantics of recursive function definitions with strictness information , 1998

Web links

Individual evidence

  1. www.archiv.rwth-aachen.de
  2. ^ Mathematics Genealogy Project
  3. Pioneer of German computer science Wilfried Brauer received an honorary doctorate from the FU , Der Tagesspiegel, November 20, 2004.