The Knut and Alice Wallenberg Foundation (KAW) has provided SEK 640 million in grants to 20 projects within medicine, natural science and technology which it is believed will generate future scientific break-throughs.
2020 Thierry Coquand
Principal investigator: Thierry Coquand
The project "Type Theory for Mathematics and Computer Science" receives funding of SEK 34,700,000 over five years.
It will be a collaborative project between computer scientist Thierry Coquand at University of Gothenburg and mathematician Peter Lumsdaine at Stockholm University.