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”.
Nyheter
Her publiserer vi nyheter om senteret og dets aktiviteter, så vel som intervjuer med våre forskere om forskningen deres og tiden på CAS.
Mange av nyhetene våre blir bare skrevet og publisert på engelsk, så søkefunksjonen vil kun benytte seg av engelsk som språk.
Om du ønsker å følge med på hva som skjer på CAS kan du melde deg på det månedlige nyhetsbrevet vårt (kun engelsk) >
Year & Month