Ian Zerny er blandt de tre ph.d.-studerende fra AU, der modtager hvert sit EliteForsk-rejsestipendium, når prins Joakim og uddannelsesminister Morten Østergaard torsdag den 9. februar overrækker årets EliteForsk-priser på Glyptoteket i København.

09.02.2012

Ian er på tredje år af sit 4+4 ph.d.-studie vejledt af Olivier Danvy på Institut for Datalogi, og han er allerede godt i gang med at bruge rejsestipendiet, der er på 300.000 kr. Han besøger nemlig lige nu "the School of Computer Science" ved Carnegie Mellon University (CMU). Besøget ved CMU er på et halvt år og Ian er allerede i fuld gang med at opbygge et stærkt netværk og skabe basis for en række publikationer.

CMU er kendt for deres dygtighed og excellence inden for semantik og logik for programmeringssprog. Det skyldes de adskillige pionerer inden for programmeringssprog, der har været tilknyttet CMU såsom Alan Perlis, Robert Floyd og Dana Scott, som alle er modtagere af ACM Turing prisen, datalogiens svar på Nobel Prisen.

Aarhus Universitet har en lang historie for samarbejde med CMU som inkluderer gensidige besøg. Ians nuværende besøg er det seneste led i denne videnskabelige udveksling, hvor han besøger CMU med Frank Pfenning som vært.

Frank Pfenning er en af verdens førende forskere inden for brugen af logik som rammen for beskrivelsen af programmeringssprog.  Denne forbindelse mellem logik og programmeringssprog, kendt som Curry-Howard korrespondancen, gør det muligt at give en veldefineret logisk mening til et programmeringssprog frem for en tilfældig mening på baggrund af en tilfældig samling features.

Netop denne tilgang til programmeringssprog har stor anvendelse i Ians arbejde i at ræsonnere om programmeringssprog og deres implementationer.

Om prisen

EliteForsk-priserne bliver uddelt en gang om året for at belønne og synliggøre den indsats, som nogle af Danmarks dygtigste forskere yder. Fem forskere modtager Uddannelsesministeriets store EliteForsk-pris, mens 17 ph.d.-studerende modtager et EliteForsk-rejsestipendium.

De tre ph.d.-studerende fra AU, der modtager et EliteForsk-rejsestipendium er Ian Zerny, der forsker i programmeringssprog og semantik inden for web, Peter Arendorf Bache, der forsker i effekter af international handel, samt Søren Dinesen Østergaard, der forsker i depression med psykotiske symptomer.

Flere informationer om EliteForsk-initiativet kan læses på www.eliteforsk.dk.