PostDoc Researcher

Reykjavik University

3rd floor Venus

Menntavegur 1, 101 Reykjavik, Iceland

e-mail: vale DOT castiglioni AT gmail DOT com

ORCID: 0000-0002-8112-6523

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