News

• Moving from Paris to Reykjavik to join ICE-TCS. Ready for the new adventure!
• I'm in the PC of EXPRESS/SOS 2019! This year it is organized by Jorge A. Pérez and Jurriaan Rot and it will be colocated with CONCUR in Amsterdam (August, 26th 2019). For more information, take a look at workshop webpage. Waiting for your submissions!

Working Experience

• PostDoc position at INRIA Saclay - Ile de France, Palaiseau, France, in team Comete (Jan 2018 - Apr 2019)

Education

• PhD in Computer Science and Computational Mathematics, Università degli Studi dell'Insubria, Como, Italia (Nov 2014 - Dec 2017)
• MSc Mathematics, Università degli Studi dell'Insubria, Como, Italia (Jan 2013 - Jul 2014)
• BSc Mathematics, Università degli Studi dell'Insubria, Como, Italia (Sep 2009 - Sep 2012)

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
• Logical characterizations for probabilistic languages
• Formal methods applied to biological systems

Research papers

• SOS-based Modal Decomposition on Nondeterministic Probabilistic Processes, Valentina Castiglioni, Daniel Geblera and Simone Tini, Logical Methods in Computer Science, vol. 14(2), https://doi.org/10.23638/LMCS-14(2:18)2018 , 2018
• A Logical Characterization of Differential Privacy via Behavioral Metrics, Valentina Castiglioni, Kostantinos Chatzikokolakis and Catuscia Palamidessi, Proceedings of FACS 2018, LNCS vol. 11222, pages 75-96, https://doi.org/10.1007/978-3-030-02146-7\_4 , 2018
• Trace and Testing Metrics for Nondeterministic Probabilistic Processes, Valentina Castiglioni, Proceedings of EXPRESS/SOS 2018, EPTCS vol. 276, pages 19-36, https://doi.org/10.4204/EPTCS.276.4 2018
• Logical Characterization of Trace Metrics, Valentina Castiglioni and Simone Tini, Proceedings of QAPL@ETAPS 2017, EPTCS vol. 250, pages 39-74, https://doi.org/10.4204/EPTCS.250.4 , 2017
• Modal Decomposition on Nondeterministic Probabilistic Processes, Valentina Castiglioni, Daniel Gebler and Simone Tini, Proceedings of CONCUR 2016, LIPIcs vol. 59, pages: 36:1--36:15, http://dx.doi.org/10.4230/LIPIcs.CONCUR.2016.36,2016
• Logical Characterization of Bisimulation Metrics, Valentina Castiglioni, Daniel Gebler and Simone Tini, Proceedings QAPL 2016, EPTCS vol. 227, pages: 44--62, http://dx.doi.org/10.4204/EPTCS.227.4, 2016
• A Function Elimination Method for Checking Satisfiability of Arithmetical Logic, Valentina Castiglioni, Ruggero Lanotte and Simone Tini, Fundamenta Informaticae, vol. 135(4), pages: 51--71, http://dx.doi.org/10.3233/FI-2016-1303, 2016
• A Specification Format for Rooted Branching Bisimulation, Valentina Castiglioni, Ruggero Lanotte and Simone Tini, Fundamenta Informaticae, vol. 143(1-2), pages: 355--369, http://dx.doi.org/10.3233/FI-2014-1128, 2014
• A Function Elimination Method for Checking Satisfiability of Arithmetical Logic, Valentina Castiglioni, Ruggero Lanotte and Simone Tini, Proceedings of CS&P 2014, pages: 46--57, http://ceur-ws.org/Vol-1269/paper46.pdf, 2014
• A Rule Format for Rooted Branching Bisimulation, Valentina Castiglioni, Ruggero Lanotte and Simone Tini, Proceedings CS&P 2013, pages: 49--60, http://ceur-ws.org/Vol-1032/paper-05.pdf, 2013

All papers available for download can be found on my ResearchGate page, https://www.researchgate.net/profile/Valentina_Castiglioni2

Invited talks

• 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

Professional activities

• PC Memeber for EXPRESS/SOS 2019
• Organizer of the symposium "Quantitative Systems: Theory and Applications" (QuaSy 2017)
• Reviewer for international conferences and journals, including:
  • ICTCS 2018, Information and Computation, Science of Computer Programming
  • LICS 2017, FSEN 2017
  • CONCUR 2016, Mathematical Structures in Computer Science
• Teaching: tutor at Univerisity of Insubria for the following BSc and MSc courses: Analysis I, Analysis II, Analysis III, Linear Algebra and Geometry, Probability and Statistics, Computational Mathematics, Programming Languages Modulus B
• Student's representative in the PhD Council, Univeristy of Insubria, Como