Curriculum Vitae
General info
- 01/11/2021 - ongoing: postdoc position at the Free University of
Bozen/Bolzano.
- 11/03/2022: obtained the PhD with honors (cum laude) from
University of Udine, defended my PhD Thesis.
- 01/11/2018 - 31/10/2021: PhD student at the Embedded System Unit
in FBK (Fondazione Bruno Kessler) and at University of Udine.
- Received my master degree in Computer Science at University of Udine with final marks
110/110 (cum laude) on March 15th, 2018. The title of my thesis was “One-pass and tree-shaped
tableaux for timed temporal logics” and my supervisor was Angelo Montanari.
- Born on 23/10/1993 in Udine, Italy.
Publications
Professional Activities
- Co-chair of Overlay’22
- PC member of Overlay’21
Awards
- Best Paper Award at SEFM 2021 (the 19th International Conference on
Software Engineering and Formal Methods) for the paper “Fairness,
Assumptions, and Guarantees for Extended Bounded Response LTL+P
Synthesis”.
- Award for the best graduated student of the master degree
in Computer Science of University of Udine in the academic year
2016-2017.
- Winner for the Department of Mathematics, Computer Science,
and Physics of University of Udine of the award made available by the
“Federazione delle Banche di Credito Cooperativo del Friuli Venezia
Giulia” for my master thesis.
Review Service
- STACS’22, SWAT’22, Journal of Innovations in Systems and Software Engineering
- TACAS’21, IEEE-ICTAI’21, NFM’21
- TACAS’20, ECAI’20, CONCUR’20, FSTTCS’20, GandALF’20, NFM’20, RuleMLRR’20
- IJCAI’19, SEFM’19