News

• In 2024, I'll be part of the program committee of RP 2024.

• Together with Adrian Francalanza, I'm organising FORTE 2024, which will be held in Groningen, 18-20 June 2024, as part of Discotec 2024.

• All information about project ULTRON ("Programs in the wild: Uncertainties, adaptabLiTy and veRificatiON") can be found here.

• For the papers, I'll try to keep the list of publications updated and to add all the preprints. Of course, please refer to the DOI for the official publisher version of all papers (you can also find them on my DBLP page). Please, do not hesitate to contact me, in case you need a missing preprint. Papers available for download can be also found on my ResearchGate page, https://www.researchgate.net/profile/Valentina_Castiglioni2

Research Interests

My research activity is mainly focused on formal methods for concurrent systems. In particular, I am interested in:

• Verification of robustness properties of cyber-physical systems 

• Metric and approximate semantics reasoning on probabilistic languages

• Equational logic of processes

• Model checking

• Formal methods applied to biological systems

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