Kim Guldstrand Larsen

Direktør for CISS, Kim Guldstrand Larsen, er professor ved Institut for Datalogi ved Aalborg Universitet. Ud over at være direktør for CISS er han også direktør for innovationsnetværket InfinIT og det dansk-kinesiske grundforskningscenter IDEA4CPS, samt co-direktør af VKR Center of Excellence MT-LAB.

Forskning

Kim Guldstrand Larsens forskningsinteresser dækker bl.a. modellering, verifikation og performanceanalyse af realtids og indlejrede systemer. Han står blandt andet bag realtids verifikationsværktøjet UPPAAL samt nye udbygninger af værktøjet rettet mod optimering, test, syntese og kompositionel analyse.

Han deltager på nuværende tidspunkt i en række EU-projekter: ARTIST Design NOE, FoodManufuture, MBAT, RECOMP og Sensation.

Læs mere på http://people.cs.aau.dk/~kgl/