Knut och Alice Wallenbergs Stiftelse har nyligen beslutat vilka forskare som får årets projektanslag. Ett av anslagen går till projektet ”Type Theory for Mathematics and Computer Science” som leds av professor Thierry Coquand vid Göteborgs universitet. Projektet tilldelas 34,7 miljoner under fem år.
Medsökande på anslaget är Peter LeFanu Lumsdaine, biträdande universitetslektor vid Matematiska institutionen, Stockholms universitet.
Läs mer om projektet Konsten att säkerställa korrekthet i datorprogram och matematiska bevis.
Läs även om det anslag från Knut och Alice Wallenbergs Stiftelse som i denna omgång går till Christian Broberger vid Stockholms universitet Wallenberganslag till forskning om aggression.
SU-matematiker får del av Wallenberganslag
Peter LeFanu Lumsdaine vid Matematiska institutionen är medsökande på ett Wallenbergfinansierat projekt som tilldelas närmast 35 miljoner.
Senast uppdaterad:
22 oktober 2020
Sidansvarig: Kommunikationsavdelningen
- 13 Wallenberg Scholars till Stockholms universitet 2024-03-26
- Öppna föreläsningar – Vetenskap för vetgiriga 2024-03-22
- Örjan Gustafsson ledamot i Påvliga vetenskapsakademin 2024-03-18
- Öppna lärresurser nästa steg för svenska lärosäten 2024-03-07
- Tarfala forskningsstation del i nytt nätverk för polarforskning 2024-03-07
- Matematiker tilldelas Göran Gustafssonpriset 2024-03-01
- Johan Rockström tilldelas Tylerpriset 2024-02-29
- Fri forskning och långsiktighet behövs i forskningspolitiken 2024-02-16
- Debattörspris till Erik Angner 2024-02-12
- Fortsatt stort intresse för internationella masterutbildningar 2024-02-07