At a glance

Hi! I am a researcher at Fondazione Bruno Kessler, Trento, 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