Curriculum Vitae
(in brief)
Working Experience
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)
Education
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)
Professional activities
PC co-chair of FORTE 2024, EXPRESS/SOS 2022, EXPRESS/SOS 2021
Served as PC member in the following events: 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)
Reviewer for international conferences and journals, including:
ICTCS 2023, and Acta Informatica.
FoSSaCS 2023, ICALP 2022, Acta Informatica, Information and Computation, International Journal of Foundations of Computer Science, Logical Methods in Computer Science, and IEEE Transactions on Dependable and Secure Computing.
LICS 2021, Theoretical Computer Science, Information & Computation, Information Processing Letters, International Journal of Foundations of Computer Science.
ICALP 2020, MFCS 2020, CONCUR 2020, SEFM 2020, ISOLA 2020, Theoretical Computer Science, International Journal of Foundations of Computer Science, Scientific Annals of Computer Science.
CONCUR 2019, Information & Computation
ICTCS 2018, Information & Computation, Science of Computer Programming
LICS 2017, FSEN 2017
CONCUR 2016, Mathematical Structures in Computer Science
Management committee member and co-representative for Iceland for COST Action CA20111 (2021-2023).
Teaching: tutor at Univerisity 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
Student's representative in the PhD Council, Univeristy of Insubria, Como
Invited talks
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