Dag Normann is a Norwegian mathematical logician. He was born in 1947 and is

Professor emeritus ''Emeritus'' (; female: ''emerita'') is an adjective used to designate a retired chair, professor, pastor, bishop, pope, director, president, prime minister, rabbi, emperor, or other person who has been "permitted to retain as an honorary title ...

at the

University of Oslo The University of Oslo ( no, Universitetet i Oslo; la, Universitas Osloensis) is a public research university located in Oslo, Norway. It is the highest ranked and oldest university in Norway. It is consistently ranked among the top universit ...

. His research focuses on

computability theory Computability theory, also known as recursion theory, is a branch of mathematical logic, computer science, and the theory of computation that originated in the 1930s with the study of computable functions and Turing degrees. The field has since e ...

with an emphasis on mathematical models for typed algorithms and applications of the foundations of mathematics.

Career

Normann obtained his doctoral degree from the

under the supervision of

Jens Erik Fenstad Jens Erik Fenstad (15 April 1935 – 13 April 2020) was a Norwegian mathematician. Fenstad graduated as ''mag.scient.'' from the University of Oslo in 1959, and worked as a research fellow there and at University of California, Berkeley, UC Berk ...

in 1976. He was

professor Professor (commonly abbreviated as Prof.) is an Academy, academic rank at university, universities and other post-secondary education and research institutions in most countries. Literally, ''professor'' derives from Latin as a "person who pr ...

at the University of Oslo where he retired in 2015. 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. Normann is a member of the

Norwegian Academy of Science and Letters The Norwegian Academy of Science and Letters ( no, Det Norske Videnskaps-Akademi, DNVA) is a learned society based in Oslo, Norway. Its purpose is to support the advancement of science and scholarship in Norway. History The Royal Frederick Univer ...

(DNVA) in the Natural Sciences Division. In the past, he was the head of the Group of Mathematical Sciences within DNVA. From 1983 to 1985 and from 2000 to 2003, he was the President of the

Norwegian Mathematical Society The Norwegian Mathematical Society ( no, Norsk matematisk forening, NMF) is a professional society for mathematicians. It was formed in 1918, with Carl Størmer elected as its first president. It organizes mathematical contests and the annual Abe ...

. He was President of the Association Computability in Europe from 2015 to 2016 and currently serves as Treasurer of the Association. He was also President of the

Scandinavian Logic Society The Scandinavian Logic Society, abbreviated as SLS, is a not-for-profit organization with objective to organize, promote, and support logic-related events and other activities of relevance for the development of logic-related research and educa ...

from 2012 to 2017.

References

{{DEFAULTSORT:Normann, Dag Norwegian mathematicians Living people 1947 births Academic staff of the University of Oslo University of Oslo alumni Presidents of the Norwegian Mathematical Society