Hans Langmaack

Hans Langmaack (nacido el 7 de mayo de 1934) es un matemático e informático alemán . ^{[ 1 ]}

Hans Langmaack asistió a la Escuela Bismarck en Elmshorn , donde recibió un premio en ciencias naturales (el Premio Ernst Hermann Koelln, 1951) y, antes de graduarse de la escuela secundaria en 1954, completó una computadora analógica para trigonometría esférica como trabajo anual de matemáticas. Después de una pasantía en ingeniería mecánica , estudió matemáticas, física y lógica en la Universidad de Münster (y un semestre en Friburgo ) a partir del semestre de invierno de 1954. En 1957, aprobó el examen de enseñanza, se convirtió en becario de la Fundación Alemana de Becas Académicas y recibió su doctorado en 1960 bajo la dirección de Heinrich Behnke con una disertación sobre análisis en varias variables complejas (construcción de envolventes holomorfas de regiones no ramificadas sobre${\displaystyle \mathbb {C} ^{n}}$). ^{[ 2 ]}

Desde 1960, Langmaack fue asistente de Klaus Samelson en la Universidad de Maguncia y se dedicó a la informática. De 1960 a 1962, desarrolló con Ursula Hill-Samelson el compilador Algol 60 Alcor Mainz 2002 para Siemens , que posteriormente se desarrolló de 1962 a 1964 en la Universidad Técnica de Múnich (donde Samelson se trasladó en 1963 y donde Langmaack lo siguió como asistente y luego asistente sénior) hasta llegar a Alcor Munich 2002. De 1966 a 1967, fue profesor asistente de Informática en la Universidad de Purdue , y en 1967, obtuvo la cátedra en la Universidad Técnica de Múnich (con una tesis sobre el teorema de Lidskii, relativo a los autovalores de sumas de matrices hermíticas ). Posteriormente fue profesor y asesor científico en la Universidad Técnica de Múnich y, desde 1970, catedrático en la Universidad de Saarland . En 1974, se trasladó a la Universidad Christian Albrecht de Kiel (Cátedra de Lenguajes de Programación y Construcción de Compiladores). En 1999, se convirtió en profesor emérito .

Langmaack participó en varios proyectos de compiladores industriales (incluidos Lisp , BASIC y Pascal ) y sistemas expertos , y trabajó en compiladores verificados y verificación automatizada de software . De 1989 a 1995, Langmaack participó en el proyecto europeo ESPRIT ProCoS sobre sistemas demostrablemente correctos , como responsable del sitio en Kiel. ^{[ 3 ] [ 4 ]} Ha publicado sobre gramáticas de Chomsky , entre otros temas.

En 1973, Langmaack fue investigador visitante en la Universidad Federal de Río de Janeiro , en 1974 en Oslo y en 1981 en la Universidad de Wisconsin-Madison . En 1980, fue cofundador (junto con Friedrich L. Bauer y Klaus Indermark) del ciclo bienal de coloquios Programmiersprachen und Grundlagen der Programmierung (KPS, Lenguajes de Programación y Fundamentos de la Programación). ^{[ 5 ]} En 1998, la Universidad Técnica de Múnich le otorgó un doctorado honoris causa . En 1999 se publicó un volumen conmemorativo en su honor por su jubilación. ^{[ 6 ]}

• Con Albert A. Grau y Ursula Hill: Manual de Computación Automática I b: Traducción de Algol 60 ( Fundamentos de las Ciencias Matemáticas , vol. 137). Springer , Berlín/Heidelberg/Nueva York, 1967.
• con Peter Kandzia: Informática: Programación. Teubner, Stuttgart, 1973, ISBN 3-519-02321-0.

• Página principal , Universidad de Kiel
• Hans Langmaack en el Proyecto de Genealogía Matemática
• Hans Langmaack en la base de datos zbMATH