Dag Normann

Dag Normann is a Norwegian mathematical logician. He was born in 1947 and is Professor emeritus at the University of Oslo. His research focuses on computability theory with an emphasis on mathematical models for typed algorithms and applications of the foundations of mathematics.[1]

Dag Normann
Born1947
NationalityNorwegian
Alma materUniversity of Oslo
Scientific career
FieldsMathematics, Logic
Thesis (1976)
Doctoral advisorJens Erik Fenstad
2nd President of the Association Computability in Europe
In office
2015–2016
Preceded byS. Barry Cooper
Succeeded byPaola Bonizzoni

Career

Normann obtained his doctoral degree from the University of Oslo under the supervision of Jens Erik Fenstad in 1976.[2] He was professor at the University of Oslo where he retired in 2015.[3]

He published numerous books and research papers; in particular, together with John Longley, he published the book Higher-Order Computability, the standard research reference of the field, in the book series Theory and Applications of Computability in 2015.[4] Normann is a member of the Norwegian Academy of Science and Letters (DNVA) in the Natural Sciences Division. In the past, he was the head of the Group of Mathematical Sciences within DNVA.[5] From 1983 to 1985 and from 2000 to 2003, he was the President of the Norwegian Mathematical Society.[6] He was President of the Association Computability in Europe from 2015 to 2016 and currently serves as Treasurer of the Association.[7]

gollark: No.
gollark: My just-completed NuclearCraft chemical processing plant.
gollark: Ah, well, as someone on 1.12 for mods I *don't*.
gollark: Yes, because it has no decent modding API.
gollark: You can probably get rid of quite a lot of those mods without affecting the pack much.

References
  1. "Library of Congress entry for Recursion on the countable functionals by Normann". Retrieved 8 July 2020. "UiO Website: Dag Normann". Retrieved 8 July 2020.
  2. "Mathematics Genealogy: Dag Normann". Retrieved 8 July 2020.
  3. "UiO: Symposium on the occasion of the retirements of Herman Ruge Jervell and Dag Normann". Retrieved 8 July 2020.
  4. "Springer-Verlag website: Higher-Order Computability by Longley & Normann". Retrieved 8 July 2020.
  5. "Det Norske Videnskaps-Akademi: Medlemmer". Retrieved 8 July 2020.
  6. https://web.matematikkforeningen.no/historie/ "Norsk Matematisk Forening: Foreningens Historie". Retrieved 8 July 2020.
  7. "Association CiE: Current Governance Structure". Retrieved 8 July 2020.
Academic offices
Preceded by
S. Barry Cooper		 President of the Association Computability in Europe
2015-2016		 Succeeded by
Paola Bonizzoni
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.