Kim Guldstrand Larsen

Director / Professor

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 leader and grant recipient of the LASSO project.


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 .


Arne Skou

Vice director, Assoc. prof.

Arne Skou is vice-director of CISS and is in addition part of the management of a number of Danish and international projects: ENCOURAGE, innovationsnetværket InfinIT, TotalFlex og CLINES.


Among other things, Arne Skou is engaged in work on concurrency models, verification and implementation of distributed systems, resource optimisation, network protocols and design methods for networks and embedded systems.