Ганс Лонгмак ⇐ Васина Википедия

[wiki_en]

'' 'Hans Langmaack' '' (родился 7 мая 1934 года в Hof Helle в Стейнбургском районе) - Германия | Германский математик и компьютерный ученый.
== life ==
Лангмаак учился в школе Бисмарка в Элмшорне, где он получил приз в области естественных наук (премия Эрнста Германа Коэллна, 1951) и до окончания средней школы в 1954 году завершил аналоговый компьютер для сферической тригонометрии в качестве математического года. После стажировки в области машиностроения он изучал математику, физику и логику в Университете Мюнстера (и в одном семестре во Фрайбурге) с зимнего семестра 1954 года. В 1957 году он сдал учебный экзамен Фонд академической стипендии и получил докторскую степень в 1960 году под руководством Генриха Бенке с диссертацией по анализу в нескольких сложных переменных (строительство голоморфных корпусов невидимых регионов над \ mathbb c^n ).
С 1960 года Лэнгмаак был помощником Клауса Самельсона в Университете Майнца и обратился к компьютерным наукам. С 1960 по 1962 год он разработал у Урсула Хилл-Самельсон Algol 60 '' Alcor Mainz 2002 '' 'Компилятор для Siemens, который далее развился с 1962 по 1964 год в техническом университете Мюнхена (где Самелсон переехал в 1963 году и где Лэнгмаак последовал за ним как помощник, а затем и старший помощник) для «Alcor Munich 2002». С 1966 по 1967 год он был доцентом кафедры компьютерных наук в Университете Пердью, а в 1967 году он получил квалификацию в качестве профессора в Техническом университете Мюнхена (по теореме Лидскии, касающейся собственных значений о суммах гермитовой матрицы | Гермитская матрица) Полем Затем он был преподавателем и научным советником в Техническом университете Мюнхена и с 1970 года, полным профессором в Университете Саарланда. В 1974 году он переехал в Христианский Альбрехтный университет Киля (председатель по программированию языков и строительства компилятора). В 1999 году он стал почетным профессором.

Лангмаак был вовлечен в различные проекты промышленных компиляторов (включая LISP, Basic и Pascal (язык программирования) | Pascal) и экспертные системы и работали над проверенными компиляторами и автоматической проверкой программного обеспечения (с 1989 по 1995 год в проекте ЕС Esprit Procos на ' Правильные системы ''). Он опубликовал на грамматике Хомского, среди других предметов.

В 1973 году Лангмаак был приглашенным ученым в Федеральном университете Рио-де-Жанейро, в 1974 году в Осло, а в 1981 году в Университете Висконсин-Мэдисон. В 1980 году он был со-инициатором (с Фридрихом Л. Бауэром и Клаусом Индермарком) из биеннальной серии Colleoquium '' ProgrammiersPrachen und Grundlagen Der Programmierung '' (KPS, языки программирования и основы программирования).
== Публикации ==
* С Альбертом А. Грау, Урсула Хилл: «Руководство по автоматическим вычислениям I B: Перевод Algol 60» ('' Основы математических наук '', том 137). Springer-Verlag | Springer, Berlin/Heidelberg/New York, 1967.
* С Питером Кандзией: «Информатика: программирование».

* [https://www.informatik.uni-kiel.de/inf/ ... ex-de.html Homepage], Университет Киля
* * [https://zbmath.org/authors/langmaack.hans hans langmaack] в базе данных zbmath

1934 Рождения
Живые люди
Люди из Стейнбурга
Выпускники Университета Мюнстера
Немецкие компьютерные ученые
Германские математики 20-го века
Университет Пердью
Академический персонал Университета Киля
Академический персонал Университета Саарланда
Академический персонал технического университета Мюнхена

Подробнее: https://en.wikipedia.org/wiki/Hans_Langmaack