My research and teaching are in the areas of modelling, simulation, quantitative formal methods, and machine learning, with applications in several areas, from Computational Systems Biology to Performance Modelling, from Smart Cities and Buildings to Cyber-Physical Systems.