Det är fjärde gången som Knut och Alice Wallenbergs stiftelse utlyser programmet Wallenberg Scholars. Stiftelsens avsikt är att forskarna ska kunna arbeta med högre ambitionsnivå för att få ett ännu bättre internationellt genomslag för sin forskning. Anslaget ger också forskarna möjlighet att satsa på djärva och långsiktiga projekt.

Universiteten nominerar enskilda forskare som genom sin forskning och utvecklingspotential förväntas förstärka den aktuella profilen vid sitt universitet. Nomineringarna gäller alla vetenskapsområden, men naturvetenskap, medicin och teknik är de områden som stiftelsen prioriterar. Göteborgs universitet fick nominera fyra forskare, varav tre blev utsedda.

Thierry Coquand forskar inom grundläggande matematik och bevisteori. Under 2012–2013 arbetar han tillsammans med kollegor i USA med organisationen av ett ”special year at Institute of Advanced Study” i Princeton, där matematiker och datavetare samarbetar kring grundläggande teknologi för bevisstödssystem.

– Jag kommer att utforska gränslandet mellan grundläggande matematik, bevisteori och datavetenskap med målet att bättre förstå sambanden mellan resonemang och beräkningar, vilket i sin tur gör det möjligt att utforma bättre system för automatisk kontroll av bevis, säger han.

En möjlig tillämpning av Thierry Coquands forskning är datorsystem som verifierar korrektheten hos mjukvara.