At a glance

Hi! I am a researcher at Fondazione Bruno Kessler, Trento, Italy.

My main research interests involve

• formal methods for artificial intelligence
• temporal networks and reasoning
• verification, control, and repair problems for business process management