Dag Normann | |
---|---|
Born | 1947 |
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]
Normann obtained his doctoral degree from the University of Oslo under the supervision of Jens Erik Fenstad in 1976. [2] He was professor at the University of Oslo where he retired in 2015. [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. [4] Normann is a member of the Norwegian Academy of Science and Letters (DNVA) in the Natural Sciences Division. In the past,he was the head of the Group of Mathematical Sciences within DNVA. [5] From 1983 to 1985 and from 2000 to 2003,he was the President of the Norwegian Mathematical Society. [6] He was President of the Association Computability in Europe from 2015 to 2016 and currently serves as Treasurer of the Association. [7] He was also President of the Scandinavian Logic Society from 2012 to 2017.
The University of Bergen is a research-intensive state university located in Bergen,Norway. As of 2019,the university has over 4,000 employees and 18,000 students. It was established by an act of parliament in 1946 based on several older scientific institutions dating back to 1825,and is Norway's second oldest university. It is considered one of Norway's four "established universities" and has faculties and programmes in all the fields of a classical university including fields that are traditionally reserved by law for established universities,including medicine and law. It is also one of Norway's leading universities in many natural sciences,including marine research and climate research. It is consistently ranked in the top one percentage among the world's universities,usually among the best 200 universities and among the best 10 or 50 universities worldwide in some fields such as earth and marine sciences. It is part of the Coimbra Group and of the U5 group of Norway's oldest and highest ranked universities.
The University of Oslo 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 universities in the world and as one of the leading universities of Northern Europe;the Academic Ranking of World Universities ranked it the 58th best university in the world and the third best in the Nordic countries. In 2016,the Times Higher Education World University Rankings listed the university at 63rd,making it the highest ranked Norwegian university.
Norwegian Computing Center is a private,independent,non-profit research foundation founded in 1952. NR carries out contract research and development in the areas of computing and quantitative methods for a broad range of industrial,commercial and public service organisations in the national and international markets. NR's projects cover a large variety of applied and academic problems. NR has its offices near the university campus Blindern in Oslo,Norway,as part of what is known as Forskningsparken,Park of Research.
Ole-Johan Dahl was a Norwegian computer scientist. Dahl was a professor of computer science at the University of Oslo and is considered to be one of the fathers of Simula and object-oriented programming along with Kristen Nygaard.
Kristen Nygaard was a Norwegian computer scientist,programming language pioneer,and politician. Internationally,Nygaard is acknowledged as the co-inventor of object-oriented programming and the programming language Simula with Ole-Johan Dahl in the 1960s. Nygaard and Dahl received the 2001 A. M. Turing Award for their contribution to computer science.
Gerald Enoch Sacks was a logician whose most important contributions were in recursion theory. Named after him is Sacks forcing,a forcing notion based on perfect sets and the Sacks Density Theorem,which asserts that the partial order of the recursively enumerable Turing degrees is dense. Sacks had a joint appointment as a professor at the Massachusetts Institute of Technology and at Harvard University starting in 1972 and became emeritus at M.I.T. in 2006 and at Harvard in 2012.
The Norwegian Academy of Science and Letters is a learned society based in Oslo,Norway. Its purpose is to support the advancement of science and scholarship in Norway.
Thomas Hylland Eriksen is a Norwegian anthropologist. He is currently a professor of social anthropology at the University of Oslo,as well as the 2015–2016 president of the European Association of Social Anthropologists. He is a member of the Norwegian Academy of Science and Letters.
Simula Research Laboratory is a Norwegian non-profit research organisation located in Oslo,Norway.
Nils Christian Stenseth is a Norwegian biologist with a focus on ecology and evolution. He is the director of the Centre for Ecological and Evolutionary Synthesis (CEES) at the University of Oslo,CEES was given Centre of Excellence status by the Research Council of Norway in December 2006. He is also the Chief Scientist at the Norwegian Institute of Marine Research in Norway,and Honorary Professor of Tsinghua University.
Knut Helle was a Norwegian historian. A professor at the University of Bergen from 1973 to 2000,he specialized in the late medieval history of Norway. He has contributed to several large works.
Hans Fredrik Dahl is a Norwegian historian,journalist and media scholar,best known in the English-speaking world for his biography of Vidkun Quisling,a Nazi collaborationist and Minister President for Norway during the Second World War. His research is focused on media history,the totalitarian ideologies of the 20th century,and the Second World War. He served as culture editor of Dagbladet 1978–1985 and has been a board member of the paper since 1996. He was a professor at the University of Oslo 1988–2009,and is now a professor emeritus.
The Association Computability in Europe (ACiE) is an international organization of mathematicians,logicians,computer scientists,philosophers,theoretical physicists and others interested in new developments in computability and in their underlying significance for the real world. CiE aims to widen understanding and appreciation of the importance of the concepts and techniques of computability theory,and to support the development of a vibrant multi-disciplinary community of researchers focused on computability-related topics. The ACiE positions itself at the interface between applied and fundamental research,prioritising mathematical approaches to computational barriers.
Johan Christian Schreiner was a Norwegian historian. He was a professor at the University of Oslo,and his speciality was the Middle Ages.
Dag Rune Olsen is a Norwegian cancer researcher,professor of biomedical physics at the University of Bergen,and the current rector of the University of Tromsø,where he was hired in 2021. He was the elected rector of the University of Bergen from 2013-2020.
Hans Petter Langtangen was a Norwegian scientist trained in mechanics and scientific computing. Langtangen was the director of the Centre for Biomedical Computing,a Norwegian Center of Excellence hosted by Simula Research Laboratory. He was a professor of scientific computing at the University of Oslo,and was editor-in-chief of SIAM Journal on Scientific Computing 2011–2015.
Aslak Tveito is a Norwegian scientist in the field of numerical analysis and scientific computing. Tveito is the Managing Director of the Simula Research Laboratory,a Norwegian research center owned by the Norwegian Government,and is Professor of Scientific Computing at the University of Oslo.
Bjørn Erik Rasch is an alumnus of the University of Oslo (1982),where he has been a Professor since 1994. He was a researcher at the Norwegian Institute for Social Research 1990-94. He was formerly joint editor of Norsk Statsvitenskapelig Tidsskrift. He has been guest lecturer at the University of California San Diego (UCSD),Harvard University and Columbia University.
Kristine Beate Walhovd is a Norwegian psychologist,neuroscientist and Professor of Neuropsychology at the University of Oslo. Together with fellow neuroscientist Anders Fjell,she established the Centre of Lifespan Changes in Brain and Cognition at the University of Oslo,which was given the status of "world leading research environment" by the Government of Norway in 2015. She and Anders Fjell shared the Fridtjof Nansen Prize in 2007. She was elected as a member of the Norwegian Academy of Science and Letters in 2011. In 2017 she received a European Research Council consolidator grant. According to Google Scholar,she has been cited over 14,000 times in scientific literature and has an h-index of 67.
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 education in the Nordic Region of Europe.