Michele Lora

I am an Assistant Professor at the University of Verona, where I work on embedded systems, cyber-physical systems, and smart manufacturing. My research focuses on modeling, simulation, and verification methods for heterogeneous systems, with particular interest in cyber-physical production systems, design automation, and formal methods for system-level engineering.

Before joining the University of Verona in my current role, I was a Marie Skłodowska-Curie Global Fellow with a joint appointment at the University of Verona and the University of Southern California. Earlier, I was a Postdoctoral Research Fellow at the Singapore University of Technology and Design. During my academic career, I also spent research periods at the University of California, Berkeley, and at Linköping University in Sweden.

I received my Ph.D. in Computer Science from the University of Verona in 2016. Alongside academic research, I co-founded FACTORYAL, a spin-off company focused on factory automation software. In 2024, I received the Best Paper Award at DATE.