Since November 2013, I am back at the Computer Science Department of the University of Bologna (Italy) for another Post-Doc.
My topics of research include Concurrent Programming Languages, Component Models and Type Theory.
A full list of my publication is available here
- Semi-Unification algorithm
- Interpreter for the croll-pi calculus
- Zephyrus: a tool for optimal provisioning in the cloud
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 developped (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.
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.