Welcome to LASSO

- Learning, Analysis, SynthesiS and Optimization of Cyber-Physical Systems
The LASSO project aims at developing a new generation of scalable tools for cyber-physical systems.
The project combines advanced model-checking techniques with machine learning
Keep up-to-date with the latest news from the project.
Meet the project team, including head of the project, Professor Kim Guldstrand Larsen, Aalborg University.

 

Follow us on Twitter!

 

Get the latest news from LASSO project head, Professor Kim Guldstrand Larsen, Aalborg University

<a class="twitter-timeline" href="https://twitter.com/kglaau" data-widget-id="705340986415783936">Tweets by @kglaau</a> <script>!function(d,s,id){var js,fjs=d.getElementsByTagName(s)[0],p=/^http:/.test(d.location)?'http':'https';if(!d.getElementById(id)){js=d.createElement(s);js.id=id;js.src=p+"://platform.twitter.com/widgets.js";fjs.parentNode.insertBefore(js,fjs);}}(document,"script","twitter-wjs");</script>
ABOUT LASSO

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.

> Read more

LATEST NEWS

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.

> Read the article “Highest Recognition for Danish Professor’s Quest for Better IT”