PDF Version here
AdressDipartimento di Informatica - Università degli Studi di Torino |
Personal detailsDate of birth: 19th of October, 1982 |
Current Situation
I am a post-doc in the HyVar European Project. My supervisor is Ferruccio Damiani, professor at the Torino University (Italy).
Summary of Research Work
Post-Doctoral Research: Delta-Oriented Programming
(01/06/2015 - ): this position is part of the European project HyVar whose goal is to update over-the-air and custom embedded systems. My role in the project and extension and formal analysis [5, 4, 20] of the Delta-Oriented Programming paradigm, a modular way to build Software Product Lines in order to {\em automatically update} embedded programs. This project is carried out in collaboration with the companies Magneti Marelli, REPLY, Atbrox and the universities of Oslo, and Braunschweig.
Post-Doctoral Research: Deadlock and Resource Analysis
(21/11/2013 - 31/05/2015): this position was part of the Envisage European Project under the supervision of Cosimo Laneve, professor at the Bologna University (Italy). The goal of this project was the formal study of Service-Level Agreements (SLA) in the context of the Cloud in order to be able to construct cost predictions and to facilitate the construction of reactive systems guaranteeing compliance with SLAs.
My work has been the definition and implementation of algorithms to statically detect interblocking [3, 11] and calculate resource consumption in a competing program [7].
Post-Doctoral Research: Automatic computation and Deployment of a System in the Cloud
(01/09/2012 - 31/08/2013): this position was part of the Aeolus ANR project, under the supervision of Roberto di Cosmo, professor at the Paris Diderot University (France). The objective of that project was to offer a suite of formally proven tools to automatically deploy and re-deploy distributed and heterogeneous systems in a cloud. My work has led to the implementation of Zephyrus [22, 9] tool, based on the component model defined in the project,
which automatically computes, from an abstract specification given by a user, a complete system deployed on a cloud.
Post-Doctoral Research: Component Model
(01/07/2010 - 31/08/2012): this position was part of the HATS European Project, under the supervision of Davide Sangiorgi, professor at the Bologna University (Italy). The objective of this project was to define a modeling language allowing the precise description of aspects such as concurrency, modularity, security and resource consumption. The main objective of my work was the definition of a component model and its integration in the ABS language developed in the project [12, 23, 16].
I also collaborated with Dave Clarke on the definition of a type system verifying the validity of Delta-Oriented Software Product Lines [24, 14].
PhD Thesis: Type systems and type inference in distributed calculi, with locations and passivations
(01/09/2006 - 30/06/2010): my PhD was supervised by Jean-Bernard Stefani (Directeur de Recherche at INRIA Rhône-Alpes) and Alan Schmitt (at the time, chargé de recherche at l'INRIA Rhône-Alpes). The work consisted in two points: first, we defined a formal basis for software component models [19], based on the kell calculus (which encodes components using locations and code mobility using passivation) to which we added a mechanism for communication between distant localities and more refined synchronization primitives, like logical variables; second, we defined two type systems and a type inference algorithm on such a distributed calculus with code mobility [18, 17].
The document is available here.
Teaching experiences
During my PhD thesis, I was an teacher assistant at the Joseph Fourier University in Grenoble, with 64 hours of lessons to teach per year. During a half semester, I organized the exercices and lab work of two groups of the course ''introduction to programming'' by Philippe Morat. This course, intended for the first year B.Sc. students in Physics and Chemistry, focused on the basis of object oriented programming and used the Java language as a support.
I taught a group of students in the course of Lydie du Bousquet, during two semi-semesters (2006-2007 and 2008-2009) and one semester (2007-2008). The aim of this course was to provide first year B.Sc. students in Chemistry-Biology with useful bases in office automation (using Microsoft Office Word), programming (with the study of the VisualBasic language in Microsoft Office Excel) and web sites (with an introduction to networks, and the study of HTML and Javascript). This course was structured in exercices and lab works where we worked on the notions seen during the lessons.
I also supervised a group of first year B.Sc. students in Math-Computer Science, in the course of Michel Burlet. I organized the exercices and lab work on the introduction to algorithms and imperative programming using as support the language C.
Education
- 2006 - 2010: PhD in Computer Science, entitled “{\it Composants et Typage}” at the Joseph Fourier University in Grenoble (France), in the LIG laboratory and defended in September 7th 2010.
Examination Committee:-
- President: Emeritus Researcher Gerard Boudol, INRIA Sofia-Antipolis (France)
- Reviewer: Professor Mario Coppo, Turin (Italy)
- Reviewer: Professor Vasco Vasconcelos, Lisbon (Portugal)
- Examinator: Professor Florence Maraninchi, Grenoble INP/ENSIMAG (France)
- Supervisor: Senior Researcher Jean-Bernard Stefani, INRIA Rhône-Alpes (France)
- Co-Supervisor: Researcher Alan Schmitt, INRIA Rhône-Alpes (France)
-
- 2005 - 2006: one year stage at l'INRIA Rhône-Alpes on the study of type systems and component models. My supervisor was Alan Schmitt (researcher at INRIA Rhône-Alpes at the time).
- 2004 - 2005: M.Sc. (research) in Computer Science at the Paris Diderot University (France)
-
- 6 months stage at IRISA in Rennes (France) on the definition and implementation in C++ of an cognitif agent model. My supervisor was Stéphane Donikian (Senior Researcher at IRISA)
-
- 2004: won scholarship at ENS Cachan (France)
- 2003 - 2004: M.Sc. 1st year (specialization in Computer science) at Poitiers University (France)
-
- 3 months stage at the TU Wien of Vienna (Austria) on the implementation in Matlab of morphologic operations on surfaces in 3 dimensions. My supervisor was Allan Hanbury (Senior Researcher at TU Wien).
-
- 2003 - 2004: M.Sc. 1st year at Poitiers University (specialization in Mathematics).
- 2002 - 2003: B.Sc. 3rd year at Poitiers University (specialization in Computer science).
- 2002 - 2003: B.Sc. 3rd year at Poitiers University (specialization in Mathematics).
- 2000 - 2002: DEUG MIAS at Poitiers University
Administrative Responsabilities
I took part in the management of the HATS, Envisage and HyVar projects, organizing meetings between partners and participating in the writing and proofreading of deliverables.
In addition, I participate in the review of several international conferences, workshops and journals. The most recent are COORDINATION'16, FORTE'16, iFM'16, FMSPLE'16, ISoLA'16, Acta Informatica, JSS, SCICO.
Finally, I co-supervised several students and two PhD students (Jakub Zwolakozski and Abel Garcia).
Technical Skills
- Programming Languages
- Working knowledge of Java, Ocaml and C: I usually code my tools in these languages
- Good knowledge of C#, C++, scala, erlang, maude (rewriting logic interpreter): I don't ususally code in these languages, but I can read them without problem
- Notions of Haskell, Lisp, Scheme
- Implemented Tools
- Static Resource Analyzer, written in Java
- Deadlock Analysis tool, written in Java
- Zephyrus, written in OCaml
- Interpreter of croll-pi, an extension of a reversible pi-calculus, written in maude
- Languages
- Fluent English and Italian
- Basic German