Dag Normann (født 1947) er en norsk matematiker og professor emeritus ved Universitetet i Oslo. Han arbeider innen matematisk logikk, særlig med beregnbarhetsteori og høyereordens beregnbarhet. Normann tok doktorgraden ved Universitetet i Oslo i 1976 under veiledning av Jens Erik Fenstad. Han var senere professor ved Universitetet i Oslo, hvor han virket frem til han ble emeritus i 2015. Han har publisert en rekke vitenskapelige arbeider innen logikk og beregnbarhet. Sammen med John Longley er han forfatter av boken Higher-Order Computability (2015), som er en viktig referanse innen feltet . Normann er medlem av Det Norske Videnskaps-Akademi (DNVA), hvor han har vært tilknyttet Naturvitenskapelig klasse og ledet Gruppen for matematiske vitenskaper. Han har vært president i Norsk matematisk forening i periodene 1983–1985 og 2000–2003. Han var president i Association Computability in Europe fra 2015 til 2016, og har senere hatt verv som kasserer i foreningen.Han var også president i Scandinavian Logic Society fra 2012 til 2017.
Referanser
Kategori:Norske matematikere Kategori:Professorer ved Universitetet i Oslo Kategori:Alumni fra Universitetet i Oslo