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”.
Here, we publish articles about the Centre and its activities, as well as interviews with our scholars about their time at CAS and the progress and results of their research.