Hans Langmaack

Hans Langmaack attended the Bismarck School in Elmshorn, where he received a prize in natural sciences (the Ernst Hermann Koelln Prize, 1951) and, before graduating from high school in 1954, completed an analog computer for spherical trigonometry as a mathematical year's work. After an internship in mechanical engineering, he studied mathematics, physics, and logic at the University of Münster (and one semester in Freiburg) from the winter semester of 1954. In 1957, he passed the teaching examination, became a scholarship holder of the German Academic Scholarship Foundation, and received his doctorate in 1960 under Heinrich Behnke with a dissertation on analysis in several complex variables (construction of holomorphic hulls of unramified regions over $\backslash mathbb\; C^n$).{{MathGenealogyProject|id=25085}}

From 1960, Langmaack was an assistant to Klaus Samelson at the University of Mainz and turned to computer science. From 1960 to 1962, he developed with Ursula Hill-Samelson the Algol 60 Alcor Mainz 2002 compiler for Siemens, further developed from 1962 to 1964 at the Technical University of Munich (where Samelson moved in 1963 and where Langmaack followed him as an assistant and later senior assistant) to Alcor Munich 2002. From 1966 to 1967, he was an assistant professor of Computer Science at the Purdue University, and in 1967 he qualified as a professor at the Technical University of Munich (on Lidskii's theorem, concerning eigenvalues of sums of Hermitian matrices). He was then a lecturer and scientific advisor at the Technical University of Munich and, from 1970, a full professor at the University of Saarland. In 1974, he moved to the Christian Albrecht University of Kiel (Chair of Programming Languages and Compiler Construction). In 1999, he became a professor emeritus.

Langmaack was involved in various industrial compiler projects (including Lisp, BASIC, and Pascal) and expert systems and worked on verified compilers and automated software verification. From 1989 to 1995, Langaack participated in the EU ESPRIT ProCoS project on Provably Correct Systems, as the site leader at Kiel.{{cite book| first1=H. |last1=Langmaack | first2=A.P. | last2=Ravn | author-link2=Anders P. Ravn | chapter=The ProCoS Project: Provably Correct Systems | pages=249–265 | editor-first=Jonathan | editor-last=Bowen | editor-link=Jonathan Bowen | title=Towards Verified Systems | series=Real-Time Safety Critical Systems | volume=2 |publisher=Elsevier | isbn=0-444-89901-4 | date=1994 }} He has published on Chomsky grammars, among other subjects.

In 1973, Langmaack was a visiting scientist at the Federal University of Rio de Janeiro, in 1974 in Oslo, and in 1981 at the University of Wisconsin-Madison. In 1980, he was a co-initiator (with Friedrich L. Bauer and Klaus Indermark) of the biennial colloquium series Programmiersprachen und Grundlagen der Programmierung (KPS, Programming Languages and Fundamentals of Programming).{{cite web| url=https://kps2023.moves.rwth-aachen.de/ | title=KPS 2023 | location=Germany | website=kps2023.moves.rwth-aachen.de | date=2023 }} In 1998, he was awarded an honorary doctorate by the Technical University of Munich. A Festschrift volume was published for his retirement in 1999.{{cite book| title=Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel) | series=Lecture Notes in Computer Science | volume=1710 | publisher=Springer | date=1999 | doi=10.1007/3-540-48092-7 | editor-first1=Ernst-Rüdiger | editor-last1=Olderog | editor-link1=Ernst-Rüdiger Olderog | editor-first2=Bernhard | editor-last2=Steffen }}

• with Albert A. Grau, Ursula Hill: Handbook of Automatic Computation I b: Translation of Algol 60 (Fundamentals of the Mathematical Sciences, Vol. 137). Springer, Berlin/Heidelberg/New York, 1967.
• with Peter Kandzia: Informatics: Programming. Teubner, Stuttgart, 1973, {{ISBN|3-519-02321-0}}.

{{reflist}}

• [https://www.informatik.uni-kiel.de/inf/Langmaack/index-de.html Homepage], University of Kiel
• {{MathGenealogyProject|id=25085}}
• [https://zbmath.org/authors/langmaack.hans Hans Langmaack] in the database zbMATH

{{authority control}}

{{DEFAULTSORT:Langmaack, Hans}}

Category:1934 births

Category:Living people

Category:People from Steinburg

Category:University of Münster alumni

Category:German computer scientists

Category:Formal methods people

Category:20th-century German mathematicians

Category:Purdue University faculty

Category:Academic staff of the University of Kiel

Category:Academic staff of Saarland University

Category:Academic staff of the Technical University of Munich