Welcome to LASSO- Learning, Analysis, SynthesiS and Optimization of Cyber-Physical Systems
Follow us on Twitter!
Get the latest news from LASSO project head, Professor Kim Guldstrand Larsen, Aalborg University
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.
New IT development needs to be more effective if technology is to keep pace with the need to manage the huge and increasingly complex systems important to society. With a rare Advanced Grant of 2.5 million euro from the European Research Council (ERC), Kim Guldstrand Larsen, Professor at Aalborg University’s Department of Computer Science, will now attack the problem in an entirely new way.