Prestigefyldt gæsteprofessorat til Kim Guldstrand Larsen

Kim Guldstrand Larsen, professor på Institut for Datalogi, Aalborg Universitet, er tildelt et gæsteprofessorat på Institut National de Recherche en Informatique et en Automatique i Frankrig.
Gæsteprofessoratet tildeles i form af en INRIA International Chair, der løber fra 2016-2020. Der gives typisk mellem 1-2 gæsteprofessorater om året, og de gives kun til exceptionelle og etablerede forskere, der har haft en fremragende videnskabelig karriere. Konkret betyder gæsteprofessoratet, at Kim Guldstrand Larsen vil opholde sig hos INRIA 1-2 måneder om året.  INRIA har 8 afdelinger i Frankrig og Kim Guldstrand Larsen er tilknyttet afdelingen i Rennes.
I Rennes skal Kim Guldstrand Larsen arbejde i krydsfeltet mellem to datalogiske discipliner, model checking og machine learning. Den ene disciplin, model checking, foretager ekstremt præcise men derfor også komplicerede og tidskrævende analyser af indlejrede software systemer med henblik på at give absolutte garantier. Den anden disciplin, machine learning, er en disciplin, der anvender statistiske metoder med henblik på at lære modeller til brug for prædiktion og optimeringer. Ved at kombinere de to discipliner åbnes der op for nye langt mere skalerbare teknikker, metoder og værktøjer.