Research Interests

In my research I apply logic-based methods to the formal verification of complex and critical systems. I have a strong background in model checking, in particular for extensions of temporal logic and for multi-agent systems. I usually try to implement tools to support my research, making them available. Please have a look at the Software section of this site for more details.

I am currently an Amazon Scholar in the Prime Video Automated Reasoning Group.