Karl Heinz Bohling

from Wikipedia, the free encyclopedia

Karl Heinz Böhling (born May 13, 1930 - March 23, 2016 ) was a German mathematician , computer scientist and university lecturer .

Life

Karl-Heinz Böhling was born in 1930. He studied mathematics and electrical engineering at the Technical University of Hanover . After completing his studies, he worked briefly at the research institute von Telefunken in Ulm, but went back to the TH Hannover, where in 1957 he became a research assistant at the Institute for Practical Mathematics. In 1959 he moved to the Institute for Applied Mathematics at the Rheinische Friedrich-Wilhelms-Universität Bonn . There he received his doctorate in 1963 under Heinz Unger with the dissertation on the structure theory of sequential automata . He then became department head at the Institute for Instrumental Mathematics (IIM) there and also head of the university computing center. In 1967, Böhling completed his habilitation in the field of mathematics and in 1969 was appointed professor in the computer science department at the Bonn Institute for Applied Mathematics. In addition, he temporarily headed the Institute for Theory of Automata and Switching Networks at the GMD Research Center for Information Technology .

Böhling put the focus on theoretical computer science and there v. a. on automata theory . His doctoral students include Klaus Indermark and Wolfgang Merzenich .

Karl Heinz Böhling retired in 1995.

Publications

  • On the structure theory of sequential automata , dissertation, 1963
  • On the theory of shift registers: Realizations of switching mechanisms , 1967
  • Finite automatons , together with Klaus Indermark, 2 parts, 1969 a. 1970
  • Finite stochastic automata , together with Gisbert Dittrich, 1972
  • Complexity in Turing machines , together with Burchhardt von Braunmühl, 1974
  • Introduction to the automata theory and theory of formal languages , together with Ludwig Balke, Spektrum Akademischer Verlag , 1993, ISBN 3-86025-567-3 .

literature

  • Christine Pieper: University Computer Science in the Federal Republic and the GDR until 1989/1990 . Franz Steiner Verlag, 2009, ISBN 3-515-09363-X .

Individual evidence

  1. Karl Heinz Böhling in Kürschner's German Scholars Calendar Online. Berlin, Boston: De Gruyter. As of January 1, 2019

Web links