Research and collaboration projects Research areas Calendar News and Dissemination About CISS Contact
You are here: Home About CISS Kim Guldstrand Larsen
About CISSKim Guldstrand Larsen Arne Skou Employees DES research unit

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.


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.





Selma Lagerlöfs Vej 300
DK-9220 Aalborg OE
Tlf: +45 99 40 72 20

© 2005-2014 CISS