PostDoc Researcher

Reykjavik University

2nd floor Venus

Menntavegur 1, 101 Reykjavik, Iceland

e-mail: vale DOT castiglioni AT gmail DOT com

valentinac AT ru DOT is


  • The project "Programs in the wild: Uncertainties, adaptabLiTy and veRificatiON" (ULTRON) has been awarded a grant by the Icelandic Research Fund! All the information on the project can be found here.

  • EXPRESS/SOS 2022 will be co-located with CONCUR 2022, in Warsaw! Here's the link to the website.

  • Our paper On the Axiomatisability of Parallel Composition: A Journey in the Spectrum was shortlisted for the Best Paper Award at CONCUR 2020.

  • All the updates on the OPEL project 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,

Research Interests

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

  • Metric and approximate semantics reasoning on probabilistic languages

  • Equational logic of processes

  • Logical characterizations for probabilistic languages

  • Formal methods applied to biological systems

Invited talks

  • 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