Dag Normann
{{short description|Norwegian mathematician}}
{{Infobox scientist
| name = Dag Normann
| image = Dag Normann June 2007 (cropped).jpg
| caption = Normann in 2007
| birth_name =
| birth_date = {{birth year and age|1947}}
| birth_place =
| death_date =
| death_place =
| residence =
| citizenship =
| nationality = Norwegian
| ethnicity =
| field = Mathematics, Logic
| work_institutions =
| alma_mater = University of Oslo
| thesis_title =
| thesis_year = 1976
| doctoral_advisor = Jens Erik Fenstad
| doctoral_students =
| known_for =
| author_abbrev_bot =
| author_abbrev_zoo =
| prizes =
| religion =
| signature =
| footnotes =
| module = {{Infobox officeholder | embed = yes
|office = 2nd President of the Association Computability in Europe
|term_start = 2015
|term_end = 2016
|successor = Paola Bonizzoni
|predecessor = S. Barry Cooper
}}
}}
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.
{{cite web
| url = https://catalog.loc.gov/vwebv/holdingsInfo?searchId=13385&recCount=25&recPointer=1&bibId=2298840
| title = Library of Congress entry for Recursion on the countable functionals by Normann
| last =
| first =
| date =
| website =
| publisher =
| access-date = 8 July 2020
| quote =
}}
{{cite web
| url = https://www.mn.uio.no/math/personer/vit/dnormann/index.html
| title = UiO Website: Dag Normann
| last =
| first =
| date =
| website =
| publisher =
| access-date = 8 July 2020
| quote =
}}
Career
Normann obtained his doctoral degree from the University of Oslo under the supervision
of Jens Erik Fenstad in 1976.
{{cite web
| url = https://www.genealogy.math.ndsu.nodak.edu/id.php?id=66112
| title = Mathematics Genealogy: Dag Normann
| last =
| first =
| date =
| website =
| publisher =
| access-date = 8 July 2020
| quote =
}} He was professor at the University of Oslo where he retired in 2015.
{{cite web
| url = https://www.mn.uio.no/math/english/research/groups/logic/events/conferences/ruge-jervell-and-normann-symposium/
| title = UiO: Symposium on the occasion of the retirements of Herman Ruge Jervell and Dag Normann
| last =
| first =
| date =
| website =
| publisher =
| access-date = 8 July 2020
| quote =
}}
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.
{{cite web
| url = https://www.springer.com/gp/book/9783662479919
| title = Springer-Verlag website: Higher-Order Computability by Longley & Normann
| last =
| first =
| date =
| website =
| publisher =
| access-date = 8 July 2020
| quote =
}} 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
{{cite web
| url = https://www.dnva.no/medlemmer/15
| title = Det Norske Videnskaps-Akademi: Medlemmer
| last =
| first =
| date =
| website =
| publisher =
| access-date = 8 July 2020
| quote =
}} From 1983 to 1985 and from 2000 to 2003, he was the President of the Norwegian Mathematical Society.
{{cite web |last= |first= |date= |title=Norsk Matematisk Forening: Foreningens Historie |url=https://web.matematikkforeningen.no/historie/ |access-date=8 July 2020 |website= |publisher= |quote=}} He was President of the Association Computability in Europe from 2015 to 2016
and currently serves as Treasurer of the Association.
{{cite web
| url = http://www.acie.eu/governance/current-governance-structure/
| title = Association CiE: Current Governance Structure
| last =
| first =
| date =
| website =
| publisher =
| access-date = 8 July 2020
| quote =
}} He was also President of the Scandinavian Logic Society from 2012 to 2017.
References
{{reflist}}
{{s-start}}
{{s-aca}}
{{succession box|title=President of the Association Computability in Europe|before=S. Barry Cooper|after=Paola Bonizzoni|years=2015-2016}}
{{s-end}}
{{authority control}}
{{DEFAULTSORT:Normann, Dag}}
Category:Norwegian mathematicians
Category:Academic staff of the University of Oslo