Direktør for CISS, Kim Guldstrand Larsen, udnævnt til æresdoktor

Direktør for CISS, AAU professor, Kim Guldstrand Larsen, er udnævnt til æresdoktor – Doctor Honoris Causa – ved Ecole Normale Superieure Cachan (ENS Cachan) i Frankrig.

Udnævnelsen fandt sted 27. november og markeredes ved en to-dages workshop 26.-27. november i Paris.

Æresdoktortitlen gives for Kim Guldstrand Larsens enestående præstationer inden for computer science og er samtidig en anerkendelse af hans særlige indsats for at skabe samarbejde og international bredde inden for området indlejrede systemer (eng. Embedded systems).

I de sidste 20 år har Kim Guldstrand Larsen været en af de internationalt førende forskere inden for modellering og verifikation af realtids- og indlejrede systemer og samtidig en af de mest aktive inden for området.  Kim Guldstrand Larsen er således hovedaktør bag værktøjet UPPAAL, der i dag er det mest udbredte værktøj til verifikation af realtids modeller. Desforuden, har Kim Guldstrand Larsen internationalt været en forkæmper for brug af formel, model-baseret tilgang som nøglen til at håndtere den stigende kompleksitet af kritiske IT-systemer, og således været medstifter af den nu førende konferenceserie TACAS, været oganisator og programchair for adskillige internationale konferencer og workshops og en meget efterspurgt ”Invited Lecturer”.

Æresdoktortitlen gives i forbindelse med 10 år jubilæet af  LSV (Laboratoire Spécification et Vérification) ved ENS Cachan, i erkendelse af den betydning forskningsssamrbejdet med Kim Guldstrand Larsen har haft for LSVs opbygning fra blot af tælle en håndfuld personer til nu at være en internationalt toneangivende forskergruppe indenfor formel verifikation.

Kim Guldstrand Larsen er foruden sin omfattende forskning, direktør for CISS, Danmarks førende brobygningscenter mellem forskning og erhvervsliv inden for indlejrede software systemer, på AAU, industriel professor ved Twente Universitet i Holland, Danmarks mest citerede forsker inden for computer science samt Ridder af Dannebrog.

Link til event

Link til materiale på ENS Cachan’s hjemmeside