Dag Normann
About
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.
