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.
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.”)