Hans Langmaack (computer scientist)
Hans Langmaack (born May 7, 1934 at Hof Helle in the Steinburg district ) is a German computer scientist .
Life
Langmaack attended the Bismarck School in Elmshorn , where he received a prize in natural sciences (Ernst Hermann Koelln Prize 1951) and before graduating from high school in 1954, he made an analog computer for spherical trigonometry as a mathematical annual work. After an internship in mechanical engineering, he studied mathematics, physics and logic at the University of Münster from the winter semester of 1954 (and one semester in Freiburg). In 1957 he passed the teaching examination, received a scholarship from the Studienstiftung des Deutschen Volkes and received his doctorate in 1960 from Heinrich Behnke with a dissertation on analysis in several complex variables (construction of holomorphic envelopes of unbranched areas over the ). From 1960 he was Klaus Samelson's assistant at the University of Mainz and turned to computer science. From 1960 to 1962 with Ursula Hill-Samelson he developed the Algol 60 compiler Alcor Mainz 2002 for Siemens 2002 , further developed from 1962 to 1964 at the TH Munich (where Samelson moved in 1963 and where Langmaack followed him as assistant and later senior assistant) to Alcor Munich 2002 . From 1966 to 1967 he was an assistant professor of computer science at Purdue University and in 1967 he completed his habilitation at the TH Munich (Zum Satz von Lidskii). Afterwards he was a lecturer and scientific adviser at the TH Munich and from 1970 a full professor at the University of Saarland . In 1974 he moved to the Christian-Albrechts-Universität Kiel (chair for programming languages and compiler construction). In 1999 he retired.
He was involved in various industrial compiler projects ( e.g. for Lisp, Basic, Pascal) and expert systems and worked on verified compilers and automated software verification (1989 to 1995 participation in the EU-Esprit project Provably correct systems ). He published, among other things, on Chomsky grammars.
In 1973 he was a visiting scholar at the Federal University of Rio de Janeiro, 1974 in Oslo and 1981 at the University of Wisconsin-Madison .
In 1980 he was co-initiator (with Friedrich L. Bauer , Klaus Indermark ) of the biannual colloquium series Programming Languages and Fundamentals of Programming .
In 1998 he received an honorary doctorate from the Technical University of Munich .
Fonts
- with Albert A. Grau, Ursula Hill: Handbook of Automatic Computation I b: Translation of Algol 60, Grundlehren der Mathematischen Wissenschaften 137, Springer 1967
- with P. Kandzia: Computer Science: Programming, Teubner 1973
Web links
Individual evidence
- ↑ The theorem concerns eigenvalues of sums of Hermitian matrices
| personal data | |
|---|---|
| SURNAME | Langmaack, Hans |
| BRIEF DESCRIPTION | German computer scientist |
| DATE OF BIRTH | May 7, 1934 |
| PLACE OF BIRTH | Steinburg district |