Castiglioni Valentina
THEORETICAL AND APPLIED SCIENCES DEPARTMENT
Insubria University
Italy
Biography
November 2014- present day : PhD Fellowship in Computer Science and Applied Mathematics, University of Insubria, Department of Sci- ence and High Technology, Como, Italy. July 2014 : Master Degree in Mathematics , final grades: 110/110 and praise, at University of Insubria, Department of Science and High Technology, Como, Italy. Thesis title: " Rule formats for weak equivalences ".
Research Interest
- Metric and approximate semantics on probabilistic languages , - Logical characterizations for probabilistic languages, - Formal methods applied to biological systems .
Publications
-
2016 A Functional 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/EN-2016-1303
-
2016 Logical Characterization of Bisimulation Metrics , Valentina Castiglioni, Daniel Gebler and Simone Tini, Proceedings of the 14th International Workshop on Quantitative Aspects of Quantitative Languages ​​and Systems (QAPL 2016) , Eindhoven, The Netherlands, 2016, EPTCS ,
-
2016 Modal Decomposition on Nondeterministic Probabilistic Processes , Valentina Castiglioni, Daniel Gebler and Simone Tini, Proceedings of the 27th International Conference on Concurrency Theory (CONCUR 2016) , Quebec City, Quebec, Canada
