The paper: “MaRDiGraS: Simplified Building of Reachability Graphs on Large Clusters” has been accepted for presentation and for the LNCS proceedings of Reachability Problems 2013.http://www.it.uu.se/conf/RP2013/
Here some pics of my journey to Uppsala and Stockholm, Sweden
I’m involved in a new project of the software engineering lab at the University of Milan.
Mardigras: MApReduce-based DIstributed building of reachability GraphS.
Lab Teacher of the course “Software design” at the University of Milan (Italy), 2012-2013.
The paper: “Symbolic State Space Exploration of RT Systems in the Cloud” has been accepted for presentation at SYNASC 2012 conference. http://synasc12.info.uvt.ro/
Here some pics of my journey to Timişoara, Romania
I have been selected to participate at the ACM Student Research Competition of the ICSE 2012 conference. https://files.ifi.uzh.ch/icseweb/
The selected paper is entitled: “Petri nets state space analysis in the cloud”.
Here some pics of my stay in Zurich, Switzerland
Teaching assistant of the course “Software design” at the University of Milan (Italy), 2011-2012.
I Co-funded the Failuresoftware team, in late 2010.
Failuresoftware is a team of creative and technology nerds building simple and useless mobile application for the world.
To learn more visit www.failuresoftware.com
Working on the Graphgen project.
Graphgen is a command line tool written in Java for state space analysis of Time-Basic (TB) Petri nets, a powerful formalism for real-time systems where time constraints are expressed as intervals,representing possible transition firing times, whose bounds are functions of marking’s time description. To learn more about Graphgen visit the graphgen website.
I got my M.Sc. degree in Computer Science on July 12th, 2011 at the Università degli Studi di Milano, with a final grade of 110/110 cum laude. The thesis is entitled “Confronto tra architetture per la realizzazione distribuita di tecniche di analisi per reti di Petri.” (“Comparison of different parallel and distributed computational models for Real-Time system analysis techniques.”)
I got my B.Sc. degree in Computer Science on December 16th, 2008 at the Università degli Studi di Milano, with a final grade of 110/110 cum laude. The thesis is entitled “Estensione, progettazione e realizzazione di una tecnica di analisi di sistemi Real-time.” (“Extension, design and implementation of an analysis technique for Real-Time systems.”)
Matteo Camilli 
You must be logged in to post a comment.