Dag Normann is a Norwegian mathematical logician.

He was born in 1947 and is Professor emeritus at the University of Oslo.

[1] Normann obtained his doctoral degree from the University of Oslo under the supervision of Jens Erik Fenstad in 1976.

[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.

In the past, he was the head of the Group of Mathematical Sciences within DNVA.