Kim G. Larsen

Professor in the Department of Computer Science,Aalborg University, Denmark

Kim G. Larsen is Professor in the Department of Computer Science at Aalborg University within the Distributed and Embedded Systems Unit and he’s director of the ICT-competence center CISS, Center for Embedded Software Systems. He is also director of DaNES, Danish Network for Intelligent Embedded Systems, a Advanced Technology Platform. Finally he is director of the Aalborg section of BRICS.

His research area is theoretical computer science, more precisely the semantics of nondeterminism and concurrency. His particular interest lies in validation and verification of embedded systems, real-time and hybrid systems. Currently he is spending most of his research time on developing the modelchecker UPPAAL in collaboration with the research group at Uppsala University. During next few years he intends to invest substantial effort in two new European projects: AMETIST (methods for dynamic resource allocation and timing analysis, project, partners) and ARTIST (a network for real-time and embedded systems, project). Due to several requests he has finally made his PhD Thesis from Edinburgh University.