Matteo Mio - Home Page
Visitor Address: Office L210, CWI, Science Park 123, 1098 XG Amsterdam, Netherlands.
Postal Address: Centre for Mathematics and Computer Science (CWI), P.O. Box 94079, NL-1090 GB Amsterdam, Netherlands.
I am a postdoctoral researcher in the Formal Methods research group at CWI (Amsterdam) under the supervision of Prof. Jan Rutten.
My position is fully supported by the ERCIM Alain Bensuossan Fellowship.
[March 2012-February 2013] I held a PostDoc position at LIX-École Polytechnique in research group Comète led by Catuscia Palamidessi.
[November 2007-February 2012] PhD student, under the supervision of Prof. Alex Simpson, in the Laboratory for Foundations of Computer Science (LFCS), University of Edinburgh.
[October 2002-October 2007] I obtained Bachelor and Master degrees in Computer Science at the University of Udine (Italy).
For more information about me, have a look at my short CV (last update: 19th December 2013).
[29/11/2013] I'm giving a talk at LIAFA, Université Paris Diderot [slides here]. [13/11/2013] I'm giving a talk at the Software Modeling and Verification group of RWTH Aachen University [slides here].
[20/10/2013-07/11/2013] I'm visiting the Automata Theory Group of the University of Warsaw.
[17/10/2013] I'm giving a talk at Chocola seminar (ENS Lyon) on my recent work on quantitative logics (slides here) [12/09/2013] Invited speaker at IST-Austria, Thomas Henzinger's group (slides PDF). [03/09/2013] Ackermann Lecture at CSL 2013 (slides PDF). [01/09/2013] I'm presenting the paper "Łukasiewicz μ-calculus" (EPTCS) at the FICS 2013 workshop.
[14/06/2013] I am the recipient of the EACSL Ackermann Award 2013, for my PhD thesis work.
I'm interested in temporal logics for expressing properties of probabilistic concurrent systems (PLTS's). Most of my research concerned: theoretical investigations on fixed-point logics (μ-calculi) for PLTS's; design of (sequent calculus style) proof-systems for (human-aided) verification of properties of PLTS's; research on two-player stochastic games.
PhD Thesis: "Game Semantics for Probabilistic μ-Calculi", University of Edinburgh, 2012. (Last revision: March 2012. PDF, PS, DVI, URL)
>> EACSL Ackermann Award 2013 "Outstanding Dissertation Award for Logic in Computer Science" (Official report: link).
A 10 pages description of the thesis is available at this link.
- M. Mio, "Upper-Expectation Bisimilarity and Łukasiewicz μ-calculus", to appear in proceedings of FoSSaCS 2014. (Preprint).
- M. Mio, A. Simpson, "A Proof System for Compositional Verification
of Probabilistic Concurrent Processes", proceedings of FoSSaCS 2013. (Springer, Preprint)
- M. Mio, "Probabilistic Modal μ-Calculus with Independent Product", in Logical Methods in Computer Science, Volume 8, Issue 4, 2012. (ArXiv:1211.1511)
>> Journal version of my FoSSaCS 2011 paper.
- M. Mio, "On the Equivalence of Game and Denotational Semantics for the Probabilistic μ-Calculus", in Logical Methods in Computer Science,
Volume 8, Issue 2, 2012. (ArXiv:1205.0126)
>> Journal version of my FICS 2010 paper.
- M. Mio, "Probabilistic Modal μ-Calculus with Independent Product", proceedings of FoSSaCS 2011. (Springer, Preprint)
>> ETAPS 2011 best student paper award. Read more.
- S. Crafa, M. Miculan, M. Mio, C. Piazza, and S. Rossi, "PiCNIC - Pi Calculus Non Interference Checker", Proceeding of ACSD 2008. (IEEE, Preprint).
- M. Mio, Alex Simpson, "Łukasiewicz μ-calculus", FICS Workshop, 2013. (EPTCS)
- M. Mio, "The Equivalence of Game and Denotational Semantics for the Probabilistic μ-Calculus", FICS Workshop, 2010 (PDF)
- M. Mio, "Product and CoProduct of Two-Player Stochastic Games", GPMFV Workshop, Brno (Czech Republic), 2010. (PDF)
- M. Mio, "A Proof System for Reasoning About Probabilistic Concurrent Processes", PSPL Workshop, Edinburgh (Scotland, UK), 2010. (PDF)
Drafts/Preprints/Papers under Review:
A draft about my recent work on mathematical foundations of probabilistic nondeterministic systems based on Function Analysis is available in the arXiv [arXiv:1310.0768]. A shorter version will appear in the proceedings of FoSSaCS 2014 (see my Conference papers above).