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
Embedded Files
Research Interests
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
News
After Process Theory, also the course Process Algebra (Q4 2024-25) received the Excellent Course Evaluation award. Once again, many thanks to all the students who participated in the evaluation!
I'm co-organising, together with Rodrigo Otoni, the Formal Methods track at ICT.Open 2026. Click here for all info on the event.
It happened! I will be part of the program committee of CONCUR 2026. Looking forward to your submissions!
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.
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
Current PhD students
Current PhD students
Google Sites
Report abuse