Stor pris til datalogiprofessor

Description

Kim Guldstrand Larsen, professor i datalogi ved Aalborg Universitet og leder af Center for Indlejrede Software Systemer (CISS), er blevet tildelt den prestigefyldte CAV (Computer Aided Verification) Award 2013. Han får prisen for sin forskning inden for modellering, simulering og verifikation af såkaldt tidskritiske edb-systemer samt for at udvikle værktøjet UPPAAL. Kim Guldstrand Larsen modtog prisen og medfølgende 10.000 dollar i Skt. Petersborg i Rusland. Han deler prisen med Paul Pettersson fra Mälardalen Universitet og Wang Yi fra Uppsala Universitet. Både store danske og internationale virksomheder har anvendt UPPAAL, fortæller Kim Guldstrand Larsen.