At a glance

Hi! I am an assistant professor in computer science at the Department of Mathematics of University of Padova, Italy.

My main research interests involve

  • formal methods
  • discrete event systems and supervisory control
  • temporal networks and reasoning
  • constraint satisfaction and optimization
  • planning and scheduling under uncertainty
  • artificial intelligence
  • business process management

I am currently working in the research team of the spoke 9 of the project iNEST: INTERCONNECTED NORD-EST INNOVATION ECOSYSTEM1 where we develop models, methods, and computing technologies for the digital twin.

  1. Supported with 110M€ by the National Recovery and Resilience Plan (Piano Nazionale di Ripresa e Resilienza, PNRR), iNEST is a project funded by the European Union in the NextGenerationEU plan.