Kim Guldstrand Larsen receives CAV Award 2013

Professor of Computer Science Kim Guldstrand Larsen, at the University of Aalborg has been awarded the prestigious CAV Award in 2013 for his excellent research with modeling, simulation, analysis, and verification of so-called real-time systems and for the development of the system UPAAL. Apart from the honor the award includes $ 10.000. Kim Guldstrand Larsen receives the prize along with Paul Pettersson from Mälardalen University and Wang Yi from Uppsala University. It is the first time the award is given to researchers outside of North America.

UPPAAL is an automatic analytical tool, which unlike other tools is used during the design time which makes it possible to calculate early in the development if the system will work correctly. UPPALL has become widely used and has already been used no just by Danish companies like NovoNordisk and Terma, but also by large international companies like Toyota, Bosch and General Motors.

Ordinarily Kim Guldstrand Larsen is the director the Danish part of the Danish National Research Foundations Danish-Chinese center IDEA4CPS and the director of Aalborg University’s Centre for Embedded Software Systems (CISS).

Read more on Aalborg University’s site (only in Danish)