![]() |
Current PositionSince the first of June 2015, I am a Post-Doc at the Computer Science Department of the University of Turin (Italy). Contact Address |
Research Interests
My topics of research include Concurrent Programming Languages, Component Models and Type Theory.
A full list of my publication is available here
Implementations
Former positions
Post-Doc in Bologna
From November 2013 until June 2015, I was back at the Computer Science Department of the University of Bologna (Italy) for another Post-Doc.
My advisor was Cosimo Laneve.
Most of my research was dedicated to the Envisage European Project.
Post-Doc in Paris
From 01/10/2012 until 31/09/2013, I was a Post-Doc at the PPS laboratory of the University of Paris Diderot (France).
My advisor was Roberto di Cosmo.
Most of my research was dedicated to the Aeolus French Project, and in particular in the automatic Synthesis of Component-Based Architectures with Capacity and Replication Constraints. We also developed (in OCaml) a prototype, available here.
Post-Doc in Bologna
From 28/06/2010 until 31/09/2012, I was a Post-Doc at the Computer Science Department of the University of Bologna (Italy).
My advisor was Davide Sangiorgi.
Most of my research was dedicated to the HATS European Project.
In particular, I studied how to add a consistent operator for dynamic update in the ABS language.
I also contributed to a contract-based deadlock analysis for the ABS language, and to the implementation (in java) of that tool, available here.
PhD Thesis
From 01/09/2006 until 27/06/2010 I was a PhD student in the University Joseph Fourier in Grenoble in the Sardes Project of INRIA.
My advisors were Jean-Bernard Stefani and Alan Schmitt
During this PhD, I studied how it is possible to apply a structured type system (based on rows) on a communication-oriented component model called Dream.