Æresdoktor fra AAU

Description

Kim Guldstrand Larsen, professor ved Aalborg Universitet, er netop blevet udnævnt til æresdoktor ved Ecole Normale Superieure Cachan i Frankrig. Det er en anerkendelse af professorens enestående præstationer inden for computer science samt hans særlige indsats for at skabe internationalt samarbejde og bredde inden for 'indlejrede systemer'. Kim Guldstrand Larsen er den mest citerede forsker inden for computer science, og i de sidste 20 år har han internationalt været en af de førende forskere inden for modellering og verifikation af realtidssystemer og indlejrede systemer.