Michele Lora

Michele Lora is a tenure-track researcher at the Department of Engineering for Innovation Medicine of the University of Verona and a member of ESD. His research is centred on the design, analysis and verification of cyber-physical systems, especially when heterogeneous models and requirements have to be composed into systems whose behaviour can still be reasoned about formally.

A recurring theme in his work is assume-guarantee contract theory. Contracts provide compositional abstractions for specifying what a component expects from its environment and what it guarantees in return; Michele has worked on using them for requirements engineering, system exploration, verification and algorithmic synthesis. This research is reflected in the CHASE framework and in methods that combine formal reasoning, optimisation and simulation rather than relying on a single modelling formalism.

He was awarded a Marie Skłodowska-Curie Global Fellowship for DeFacto — Design Automation for Smart Factories, carried out jointly between the University of Southern California and the University of Verona. That work brought contract-based design automation into cyber-physical production systems, including topology, scheduling, path planning and reconfiguration problems. His current research continues along this line, connecting rigorous CPS design methods with digital twins, smart manufacturing and model-based engineering.