Lav et referat af nedenstående tekst:

Tekst:
Professor Kim Guldstrand Larsen, der i mange år har været internationalt anerkendt for sin er blevet udnævnt til æresdoktor ved Ecole Normale Superieure Cachan (ENS Cachan) i Frankrig. Professoren fra Aalborg Universitet får æresdoktortitlen for sine enestående præstationer inden for computer science, og udnævnelsen er samtidig en anerkendelse af hans særlige indsats for at skabe samarbejde og international bredde inden for området indlejrede systemer (også kaldet '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 realtidssystemer og indlejrede systemer, og han er Danmarks mest citerede forsker inden for computer science. Udnævnelsen finder sted tirsdag d. 27. november og markeredes ved en to-dages-workshop i Paris.

Referat:
Danmarks mest citerede forsker inden for computer science kan nu også kalde sig æresdoktor - på fransk.