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.
2022: Research projects with high scientific potential
The Foundation supports projects with high scientific potential. Projects should be focused on a coherent research question where the complementary competencies of the participating scientists gives new possibilities to attack the chosen research question.
Projects normally have a budget of between SEK 15 million and SEK 30 million. Projects can have a duration of three to five years.