Assistant Professor
Eindhoven University of Technology
MetaForum, room 6.102
De Zaale, 5612 AZ Eindhoven, The Netherlands
e-mail: v DOT castiglioni AT tue DOT nl
vale DOT castiglioni AT gmail DOT com
Eindhoven University of Technology
MetaForum, room 6.102
De Zaale, 5612 AZ Eindhoven, The Netherlands
e-mail: v DOT castiglioni AT tue DOT nl
vale DOT castiglioni AT gmail DOT com
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
We have received an Excellent Course Evaluation award for the course Process Theory taught in Q3 2024-25. Thanks to all the students who participated in the evaluation!
In 2025, I'll be part of the program committee of BMQL 2025, COORDINATION 2025, EXPRESS/SOS 2025, QEST+FORMATS 2025, RADICAL 2025, SBMF 2025 and FM 2026. Looking forward to your submissions!
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