Research and Professional activities
- Publications
- An overview of my research in the last 10 years
- Short Curriculum Vitae
- Coordinator of the PhD Programme in Computer Science
- Some events:
ICALP 2011 (Track C)
ICALP 2015 (Track C)
ICALP 2016 (Track B)
FORTE 2016
EMSOFT 2017
ICTCS 2019
ITIA 2020
CYBER 2021
FORTE 2022
VORTEX 2022
CYBER 2022
-
ARES 2025
ACM CPSS 2026
Teaching (in Italian)
- Fondamenti di Linguaggi di Programmazione e Specifica
(A.A. 2022-23)
- Network Security (A.A.
2022-23)
- Ricevimento studenti: giovedì 16.30 - 18:30
- Tesi di laurea disponibili