Description

Professor i datalogi ved Aalborg Universitet Kim Guldstrand Larsen er leder af Aalborg Universitets Center for Indlejrede Softwaresystemer (CISS). Den såkaldt indlejrede software er en af softwareudviklingens nye store felter, der bl.a. findes i biler, mobiltelefoner, medicinsk udstyr og produktionssystemer. Softwaren har stor betydning for sikkerheden, og det er derfor vigtigt, at softwaren fungerer korrekt. Kim Guldstrand Larsen har netop modtaget CAV Award 2013 for sin forskning inden for modellering, simulering og verifikation af såkaldt tidskritiske edb-systemer og for udvikling af værktøjet UPPAAL.
Period30 Jul 2013

Media coverage

2

Media coverage