About Me

I’m a PhD student in Computer Science at the Embedded System (ES) unit in Fondazione Bruno Kessler (FBK) and at University of Udine (UniUD).

My supervisors are Alessandro Cimatti and Angelo Montanari.


I work in the area of formal verification and temporal logics. In particular, my PhD thesis is focused on satisfiability and synthesis techniques for linear temporal logics with different degrees of expressiveness.

Generated with Jekyll, using researcher theme.