Assistant Professor
Eindhoven University of Technology
MetaForum, room 6.082
De Zaale, 5612 AZ Eindhoven, The Netherlands
e-mail: vale DOT castiglioni AT gmail DOT com
v DOT castiglioni AT tue DOT nl
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
News
In 2024, I'll be part of the program committees of FSEN 2025, GandALF 2024, ICTAC 2024, MFPS 2024, and 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.
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 found also on my ResearchGate page, https://www.researchgate.net/profile/Valentina_Castiglioni2