The LASSO project (Learning, Analysis, SynthesiS and Optimization of Cyber-Physical Systems) aims at developing a new generation of scalable tools for cyber-physical systems through combining advanced model-checking techniques with machine learning.

The project is financed by an Advanced Grant of 2.5 million Euro from the European Research Council (ERC), granted to Professor Kim Guldstrand Larsen, Department of Computer Science, Aalborg University.

The activities in LASSO will be coordinated with the activities in the Danish-Chinese center of excellence IDEA4CPS, which also focuses on cyber-physical systems.

Read more in the article ”Highest Recognition for Danish Professor’s Quest for better IT”