Kim Guldstrand Larsen

Director of CISS, Kim Guldstrand Larsen, is a Professor at the Department of Computer Science at Aalborg University. In addition to being director of CISS, he is also the director of the innovation network InfinIT and the Sino-Danish basic research centre IDEA4CPS, as well as co-director of VKR Center of Excellence MT-LAB.

Research

Kim Guldstrand Larsen's research interests include modeling, verification, performance analysis of real-time and embedded systems with applications to concurrency theory and model checking. In particular he is prime investigator of the real-time verification UPPAAL as well as the various new branches of the tool targeted towards optimization, testing, synthesis and compositional analysis .

Currently he is engaged in a number of European projects: FoodManufuture, MBAT, RECOMP, Sensation and ARTIST Design NoE.

Read more at http://people.cs.aau.dk/~kgl/