CV Highlights
Employment
- 09/2023 – 08/2025: MSCA Postdoctoral Fellow (Projektassistent) at TrustCPS@TU Wien, PI of project CORPORA
- 11/2022 – 08/2023: PostDoc Researcher (Projektassistent) at TrustCPS@TU Wien
- 11/2021 – 10/2022: PostDoc Researcher (Assegno di Ricerca) at deepse@Politecnico di Milano
Education
- 2018 – 2022: Ph.D. in Information Technology at deepse@Politecnico di Milano [thesis]
- 2016 – 2018: M.Sc. in Computer Science and Engineering at Politecnico di Milano
- 2013 – 2016: B.Sc. in Computer Science at the University of Parma
Program Committee Membership
- OOPSLA 2025-25 (Review Committee)
- RP 2024
- RV 2023, 2024
- SAC-SVT 2023, 2024, 2025
- VORTEX 2024
- FAACS 2024 Workshop
- FastContinuum@ICPE 2023
- FIST@ICSA 2022, 2023
- ICST 2021 Poster Track
Artifact Evaluation
- CAV 2023 Artifact Evaluation Committee
- ECOOP 2023 Artifact Evaluation Committee + Extended Review Committee
- The Programming Journal Volumes 7 and 8
- OOPSLA 2022 External Review / Artifact Evaluation Committee (Round 2)
- ECOOP 2022 Artifact Evaluation Committee + Extended Review Committee (Distinguished Artifact Reviewer!)
- OOPSLA 2021 Artifact Evaluation Committee
Peer Review
- VCLA International Student Award Committee (2023, 2024)
- IEEE Transactions on Software Engineering (TSE)
- International Journal of Approximate Reasoning
- Information and Computation
- Journal of Automated Reasoning
- TACAS 2023 (subreviewer)
- SCICO (Software Track)
- IEEE Software
- ACM TOSEM
- FormaliSE 2021 (subreviewer)
- IJCIS
- SOFSEM 2020 (subreviewer)
- ACM TODS
- IEEE CLOUD 2019 (subreviewer)
- LATA 2019 (subreviewer)
Supervised Students
- Andrea Franchini: M.Sc. Thesis 2023, Politecnico di Milano, with Matteo Pradella.
- Giuseppe Scherini: M.Sc. Thesis 2023, Politecnico di Milano, with Matteo Pradella.
- Michele De Pascalis: M.Sc. Thesis 2022, Politecnico di Milano, with Matteo Pradella. Now a Ph.D. student at Tallinn University of Technology.
- Francesco Pontiggia: M.Sc. Thesis 2021, Politecnico di Milano, with Matteo Pradella; and Ph.D., ongoing, with Ezio Bartocci. Now a Ph.D. student at TU Wien.
- Davide Bergamaschi: M.Sc. Thesis 2020, Politecnico di Milano, with Matteo Pradella.