Sebastiano Gaiardelli

I am a Research Fellow in Computer Science at the University of Verona, where my research focuses on the development of advanced methodologies for the optimization, reconfiguration, and verification of Cyber-Physical Production Systems (CPPSs).
I obtained my Ph.D. in Computer Science from the University of Verona in 2025. My doctoral research, titled “Dynamo: A Framework to Verify, Optimize and Reconfigure Flexible Manufacturing Systems”, was conducted under the supervision of Prof. Franco Fummi.
Previously, I obtained my Master’s degree (M.Sc.) in Computer Science and Engineering (curriculum Embedded Systems) at the University of Verona in 2021 and my Bachelor’s degree (B.Sc.) in Computer Science at the University of Verona in 2019.
In addition to my academic work, I am a co-founder and scientific advisor for FACTORYAL S.r.l., a startup specializing in factory automation software that originated as a spin-off from the University of Verona.