Dag Normann | |
---|---|
Born | 1947 (age 77–78) |
Nationality | Norwegian |
Alma mater | University of Oslo |
Scientific career | |
Fields | Mathematics, Logic |
Thesis | (1976) |
Doctoral advisor | Jens Erik Fenstad |
2nd President of the Association Computability in Europe | |
In office 2015–2016 | |
Preceded by | S. Barry Cooper |
Succeeded by | Paola Bonizzoni |
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]