About me
I am a researcher at Fondazione Bruno Kessler in Trento, Italy, in the Planning, Scheduling, and Optimization unit of the Digital Industry Center. I work on formal methods for artificial intelligence: building models and algorithms that give guarantees on how plans, processes, and AI systems behave, particularly under uncertainty.
Plans made of events constrained in time, with parts the planner cannot control. I study whether a plan can always be executed whatever the uncontrollable part does, and how to synthesize the strategy that executes it.
Using formal methods to bring background knowledge into AI systems, and to automatically synthesize neural networks that are certified to satisfy given properties while keeping their accuracy.
Formal models of business processes and algorithms to verify them, control their execution under uncertainty, and repair them with minimal changes when a property is violated.
Combining formal methods and AI to build data-driven models of complex systems, so that problems can be solved on the digital twin before moving to the real system.