Дэй Норман
Дэй Норман | |
|---|---|
| Рожденный | 1947 (возраст 76–77 лет) |
| Национальность | норвежский |
| Альма-матер | Университет Осло |
| Научная карьера | |
| Поля | Математика , Логика |
| Диссертация | (1976) |
| Докторантура | Йенс Эрик Фенстад |
| 2-й президент Ассоциации вычислительности в Европе | |
| В офисе 2015–2016 | |
| Предшественник | С. Барри Купер |
| Преемник | Паола Бониццони |
Даг Норманн — норвежский математический логик . Он родился в 1947 году и является почетным профессором . Университет Осло . Его исследования сосредоточены на теории вычислимости с упором на о математических моделях типизированных алгоритмов и приложениях основ математики . [1]
Карьера
[ редактировать ]Норманн получил докторскую степень в Университете Осло под руководством Йенса Эрика Фенстада в 1976 году. [2] Он был профессором Университета Осло, откуда вышел на пенсию в 2015 году. [3]
Он опубликовал множество книг и исследовательских работ; в частности, совместно с Джоном Лонгли он опубликовал книгу «Вычислимость высшего порядка» , стандарт справочник по исследованиям в этой области в серии книг «Теория и приложения вычислимости» в 2015 году. [4] Норманн является членом Норвежской академии наук и литературы (DNVA) в отделе естественных наук. В прошлом он был руководителем группы математических Науки в пределах DNVA. [5] С 1983 по 1985 год и с 2000 по 2003 год он был президентом Норвежского математического общества . [6] Он был президентом Ассоциации вычислительности в Европе с 2015 по 2016 год. и в настоящее время является казначеем Ассоциации. [7] Он также был президентом Скандинавского общества логики с 2012 по 2017 год.
Ссылки
[ редактировать ]- ^ «Запись в Библиотеке Конгресса о рекурсии по счетным функционалам Нормана» . Проверено 8 июля 2020 г. «Веб-сайт UiO: Даг Норманн» . Проверено 8 июля 2020 г.
- ^ «Математическая генеалогия: Даг Норманн» . Проверено 8 июля 2020 г.
- ^ «UiO: Симпозиум по случаю выхода на пенсию Германа Руге Джервелла и Дага Норманна» . Проверено 8 июля 2020 г.
- ^ «Веб-сайт Springer-Verlag: Вычислимость высшего порядка Лонгли и Норманна» . Проверено 8 июля 2020 г.
- ^ «Норвежская академия наук: члены» . Проверено 8 июля 2020 г.
- ^ «Норвежская математическая ассоциация: история ассоциации» . Проверено 8 июля 2020 г.
- ^ «Ассоциация CiE: Текущая структура управления» . Проверено 8 июля 2020 г.
