News

Here, we publish articles about the Centre and its activities, and interviews with our scholars about their time at CAS and the progress and results of their research.

20 December 2021

Alumni Spotlight: Bjørn Ian Dundas

‘CAS is such a fantastic institution,’ said mathematician and former CAS project leader Bjørn Ian Dundas when thinking back on his year at the Centre.

07 October 2020

CAS Alumnus granted 34.7 million Swedish Kronor for analysing proofs

The Knut and Alice Wallenberg Foundation granted Thierry Coquand support for his joint mathematical and computer science project “Type Theory for Mathematics and Computer Science”.

‘Our modern society depends on correct mathematics’

Marc Bezem and Bjørn Ian Dundas use computers to verify mathematical proofs. ‘We believe our research can change the methodology of mathematics’, Bezem says, as their year at CAS comes to an end.

15 January 2019

Project Update: 'Homotopy Type Theory and Univalent Foundations'

CAS fellows discuss their work with advancing the new mathematical theory.

19 September 2018

Meet the Project: 'Homotopy Type Theory and Univalent Foundations'

The 2018/19 CAS project in the natural sciences aims to push a new mathematical theory forward.

2018/19 CAS Projects: Religion, Media and Time, and Mathematics

The Centre for Advanced Study (CAS) is welcoming a new cohort of scholars to Oslo as the 2018/19 academic year begins.