Prestigefyldt gæsteprofessorat til Kim Guldstrand Larsen

Beskrivelse

Professor på Institut for Datalogi ved Aalborg Universitet Kim Gulstrand Larsen har fået tildelt et gæsteprofessorat på Institut National de Recherche en Informatique et en Automatique (INRIA) i Frankrig. Gæsteprofessoratet gives til forskere der har vist exceptionelle resultater, og det betyder, at Kim Guldstrand Larsen vil være hos INRIA to måneder årligt på deres afdeling i Rennes. Her skal han arbejde med krydsfeltet mellem model checking og machine learning.