Energy Aware Buildings – Modelling, Analysis and Optimization using Model Checking and Machine Learning

Kim Guldstrand Larsen is a Professor at the Department of Computer Science at Aalborg University and Head of Centre of DiCyPS.