EU satsar 45 miljoner kronor på matematisk forskning vid Göteborgs universitet

Pressmeddelande från Göteborgs universitet 2010-01-25 EU satsar totalt 45 miljoner kronor på flera matematikprojekt vid Göteborgs universitet. Bland annat får professor Thierry Coquand ett av EU:s mest prestigefyllda stipendier på nära 20 miljoner kronor. Stipendiet får han för sin forskning inom grundläggande matematik som bedrivs i Alan Turings och Bertrand Russels fotspår.

ERC-stipendiet har funnits sedan 2008 och riktar sig till europeiska forskare i världsklass. – Det är ett mycket spännande forskningsområde inom matematiken som jag får möjlighet att fördjupa mig ytterligare inom, säger Thierry Coquand, professor i datologi vid Göteborgs universitet. Forskningen inom Thierrys Coquands område sträcker sig tillbaka till runt år 1900, då filosofen och matematikern Bertrand Russell uppfann begreppet ”types” för att lösa ett antal matematiska problem. Vid den här tiden handlade det alltså om rent interna problem inom den grundläggande matematiken. Typteori blev sedan den mest exakta formuleringen av logik och kom långt senare att även innefatta kopplingar mellan matematiska bevis och datorprogram. Idag spelar så kallade typer en mycket viktig roll för till exempel olika programmeringsspråk. Typteori används även inom områden som lingvistik och språkteknologi, eftersom en ”typ” fungerar som bärare av innebörd och också ger korrekt grammatik vid översättning. Typteori är temat för det internationella forskningssamarbetet TYPES där Thierry Coquand har varit involverad sedan starten 1989. Alan Turing, en av datavetenskapens grundare, är en annan person som varit avgörande för forskningsområdets riktning. Runt 1930 löste han ett berömt problem, Hilberts "Entscheidungsproblem" (beslutsproblem), genom att ge en rigorös definition av det matematiska begreppet algoritm, något som har lagt grunden för hela den digitala datorvärlden. Definitionen har också haft en enorm betydelse för hur man löser problem inom datavetenskapen. Thierry Coquands ERC-pengar är tänkta att leda forskningen vidare på spåren som Bertrand Russel och Alan Turing dragit upp. – Min förhoppning är – utan att vilja jämföra mig med Russell och Turing – att mitt arbete ska ha inverkan på exaktheten när man uttrycker en matematisk algoritm, säger Thierry Coquand. Men när det gäller tillämpningar vill jag påpeka att området kan gå i en helt annan riktning än våra förhoppningar. De teoretiska frågorna är ändå extremt intressanta att försöka lösa, oavsett vilka tillämpningar de kan leda till. ERC-projektet har accepterats vetenskapligt och förhandlingar pågår om de exakta villkoren. Samtidigt med det personliga ERC-stipendiet på nära 20 miljoner kronor (1,9 miljoner euro), har Thierry Coquand fått ett annat mycket stort EU-bidrag beviljat. Thierry Coquand står som projektkoordinator för Formathprojektet, ett samarbete med tre andra europeiska universitet som tillsammans får närmare 25 miljoner kronor under tre år. Forskningen inom Formath kan i framtiden leda till färre fel och buggar i våra datorer och säkrare roboteknik. Projektet har kopplingar till ERC-bidraget, men Formathprojektet har ett mycket konkret innehåll jämfört med de forskningsvisioner som nu fått ERC-pengar. Läs mer om Formath "Abstrakt matematik och datavetenskap i växelverkan ger säkrare teknik": http://www.itufak.gu.se/aktuellt/nyheter/fulltext//Abstrakt_matematik_och_datavetenskap_i_vaxelverkan_ger_sakrare_teknik.cid911788 Kontaktinformation: Professor Thierry Coquand E-post: Coquand@chalmers.se Mobil: 0707-73 25 45 Fakta ERC Det Europeiska forskningsrådet ERC är finansierat inom EU:s 7:e ramprogram och bildades år 2007 i syfte att stödja de bästa forskarna i Europa, för att på sikt göra Europa mer globalt konkurrenskraftigt på grundforskningens område. Till skillnad från övriga EU-bidrag riktar sig ERC:s bidrag till individuella forskare, några krav på nätverk finns inte. Bidragen gäller alla vetenskapsområden, tvärvetenskapliga ansökningar uppmuntras. Det enda utvärderingskriteriet är excellens.