‘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.
Alumni Spotlight: Inger Nordal about species and Arctic collaboration
The UN's alarming report about how one million animal and plant species face extinction because of the way humans live forms the backdrop of this month's Alumni Spotlight.
Former CAS project leader awarded the Fridtjof Nansen Award for outstanding research
Trygve Ulf Helgaker is awarded the prestigious price for his research excellence in theoretical chemistry.
Alumni Spotlight: Berit Stensønes about her role model Karen Uhlenbeck
'It is difficult to discuss gender in academia today', says Berit Stensønes. She is the alumna of the month for March 2019.
Project Update: 'Homotopy Type Theory and Univalent Foundations'
CAS fellows discuss their work with advancing the new mathematical theory.
Former CAS project leader wins ICIAM Su Buchin Prize
Giulia Di Nunno, who led a CAS project during the 2014/15 academic year, is recognised for supporting career development opportunities for mathematics scholars in Africa.
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.
Former CAS fellow joins YoungCAS workshop
Andrew Teale, assistant professor at the University of Nottingham, is the first scholar to participate in both a standard CAS project and YoungCAS.
CAS fellows elected to lead the International Academy of Quantum Molecular Sciences
Trygve Ulf Helgaker, Trond Saue, and Hans-Joachim Werner will help lead the academy for the next three years.
Research in Review: 'Molecules in Extreme Environments'
A CAS project that explored chemistry in the vast reaches of space have produced 'new constellations' that could push the field forward.