Dag Normann | |
---|---|
Born | 1947 (age 76–77) |
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.
Alain Connes is a French mathematician,known for his contributions to the study of operator algebras and noncommutative geometry. He is a professor at the Collège de France,Institut des Hautes Études Scientifiques,Ohio State University and Vanderbilt University. He was awarded the Fields Medal in 1982.
The University of Oslo is a public research university located in Oslo,Norway. It is the oldest university in Norway and consistently considered the country's leading university,one of the highest ranked universities in the Nordic countries and one of world's hundred highest ranked universities. Originally named the Royal Frederick University,the university was established in 1811 as the de facto Norwegian continuation of Denmark-Norway's common university,the University of Copenhagen,with which it shares many traditions. It was named for King Frederick VI of Denmark and Norway,and received its current name in 1939. The university was commonly nicknamed "The Royal Frederick's" before the name change,and informally also referred to simply as Universitetet.
Norwegian Computing Center is a private,independent,non-profit research foundation. 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 organizations in Norway and internationally. NR is one of Europe's largest research environments in applied statistics and its projects cover a large variety of applied and academic problems. NR's offices are located near the university campus Blindern in Oslo,and adjacent to Oslo Science Park (Forskningsparken).
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 an American 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.
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.
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 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.
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 was 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.
The Institute of Theoretical Astrophysics is a research and teaching institute dedicated to astronomy,astrophysics and solar physics located at Blindern in Oslo,Norway. It is a department of The Faculty of Mathematics and Natural Sciences at the University of Oslo. It was founded in its current form by Svein Rosseland with funding from the Rockefeller Foundation in 1934,and was the first of its kind in the world when it opened. Prior to that,it existed as the University Observatory which was created in 1833. It thus is one of the university's oldest institutions. As of 2019,it houses research groups in cosmology,extragalactic astronomy,and The Rosseland Centre for Solar Physics,a Norwegian Centre of Excellence.
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.
Geir Bjarne Asheim is a Norwegian economist and professor of economics at the Department of Economics,University of Oslo.
The Department of Informatics at the University of Oslo is the oldest and largest department for informatics in Norway. The department was in 2017 ranked number 1 in Norway,3rd in Europe,and 12th in the world in Computer Science and Engineering by Academic Ranking of World Universities.
Anders C. Hansen is a Norwegian mathematician,who is currently a Professor of Mathematics at University of Cambridge,where he is the head of the Applied Functional and Harmonic Analysis group,and also Professor II at the University of Oslo. He works in functional analysis,harmonic analysis (applied),foundations of mathematics (computational),data science and numerical analysis.
Aderemi Oluyomi Kuku was a Nigerian mathematician and academic,known for his contributions to the fields of algebraic K-theory and non-commutative geometry. Born in Ijebu-Ode,Ogun State,Nigeria,Kuku began his academic journey at Makerere University College and the University of Ibadan,where he earned his B.Sc. in Mathematics,followed by his M.Sc. and Ph.D. under Joshua Leslie and Hyman Bass. His doctoral research focused on the Whitehead group of p-adic integral group-rings of finite p-groups. Kuku held positions as a lecturer and professor at various Nigerian universities,including the University of Ife and the University of Ibadan,where he served as Head of the Department of Mathematics and Dean of the Postgraduate School. His research involved developing methods for computing higher K-theory of non-commutative rings and articulating higher algebraic K-theory in the language of Mackey functors. His work on equivariant higher algebraic K-theory and its generalisations impacted the field.