Curriculum Vitae
(in brief)
(in brief)
For full CV, see here.
Assistant Professor at the Eindhoven University of Technology, Department of Mathematics and Computer Science, FSA cluster, Eindhoven, The Netherlands (Oct 2023 - present).
Postdoctoral fellowship at Reykjavik University, Department of Computer Science, Reykjavik, Iceland (Feb 2022 - Sep 2023), as PI of the IRF Project "Programs in the wild: Uncertainties, adaptabiLiTy and veRificatiON" (ULTRON).
Postdoctoral fellowship at Reykjavik University, School of Computer Science, Reykjavik, Iceland (May 2019 - Jan 2022) to work on the IRF Project "Open Problems in the Equational Logic of processes" (OPEL).
Postdoctoral fellowship at INRIA Saclay - Ile de France, Palaiseau, France, in team Comete (Jan 2018 - Apr 2019)
PhD in Computer Science and Computational Mathematics, Università degli Studi dell'Insubria, Como, Italia (Nov 2014 - Dec 2017)
MSc Mathematics, Università degli Studi dell'Insubria, Como, Italia (Sep 2012 - Jul 2014)
BSc Mathematics, Università degli Studi dell'Insubria, Como, Italia (Sep 2009 - Sep 2012)
Co-lecturer for Process Algebra [2IMF10] and Process Theory [2ITA0], TU/e.
Instructor for Logic and Set Theory [2IT60], TU/e.
Teaching: tutor at University of Insubria for the following BSc and MSc courses: Analysis I, Analysis II, Analysis III, Linear Algebra and Geometry, Probability and Statistics, Computational Mathematics, Programming Languages Modulus B
Since 2024, I am a Steering Committee member of the International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE) which is part of the Federated Conference on Distributed Computing Techniques (DisCoTec).
Co-chair of Formal Methods Track at ICT.Open 2025, FORTE 2024, EXPRESS/SOS 2022, EXPRESS/SOS 2021
Served as PC member in the following events: FM 2026, BMQL 2025, COORDINATION 2025, EXPRESS/SOS 2025, QEST&FORMATS 2025, RADICAL 2025, SBMF 2025, FSEN 2025, GandALF 2024, ICTAC 2024, MFPS 2024, RP 2024, CSL 2024, EXPRESS/SOS 2023, GandALF 2023, CALCO 2023, TACAS 2021, EXPRESS/SOS 2020, EXPRESS/SOS 2019
Organizer of the symposium "Quantitative Systems: Theory and Applications" (QuaSy 2017) and of the Formal Methods track at ICT.Open 2025.
Reviewer for international conferences and journals, including: FM (2024), LICS (2024, 2021, 2017), FoSSaCS (2023), ICALP (2022, 2020), CONCUR (2020, 2019, 2018, 2016); Acta Informatica, IEEE Transactions on Dependable and Secure Computing, Information and Computation, Journal of Logical and Algebraic Methods in Programming, Logical Methods in Computer Science, Science of Computer Programming, Theoretical Computer Science.
Management committee member and co-representative for Iceland for COST Action CA20111 (2021-2023).
A formal framework for cyber-physical systems: Uncertainties, adaptability, and verification, invited talk and OPCT 2023, Bertinoro, Italy, June 2023.
Uncertainties, adaptability and verification, invited seminar at the FSA Colloquium, TUE, Eindhoven, The Netherlands, November 24, 2022.
On the Axiomatisability of Parallel Composition: A Journey in the Spectrum, invited seminar (on-line) at the Computer Science Theory Seminar, TTU, Tallin, Estonia, September 24, 2020
A Metric Semantics for Coordination Languages, invited talk at OPCT 2019, Cascais, Portugal, January 2019
Trace Metrics for Nondeterministic Probabilistic Processes, invited seminar at LACL, Université de Creteil, Paris, France, November 2018