Michael Lienhardt's Home Page

Current Position Since the first of June 2015, I am a Post-Doc at the Computer Science Department of the University of Turin (Italy). My advisor is Ferruccio Damiani. Most of my research is dedicated to the HyVar European Project. Contact Currently, my main email address for work is: michael [dot] lienhardt [at] di [dot] unito [dot] it Address Michael Lienhardt Corso Svizzera 185, 10149 Torino, Italy

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

link	related paper
* Semi-Unification algorithm	Type Inference with Polymorphic Recursion (F. Henglein, 1993, TOPLAS)
* Interpreter for the croll-pi calculus	Concurrent Flexible Reversibility (I. Lanese, M. Lienhardt, C. A. Mezzina, A. Schmitt and J.-B. Stefani, 2013, ESOP)
* Zephyrus	Optimal Provisioning in the Cloud ( R. Di Cosmo, M. Lienhardt, R. Treinen, S. and J. Zwolakowski, 2013, Technical Report)
* deadlock analysis for the ABS language	A framework for deadlock detection in core ABS (E. Giachino, Cosimo Laneve and M. Lienhardt, 2015, SoSYM)
* resource analysis for the ABS language	Static analysis of cloud elasticity (A. Garcia, C. Laneve and M. Lienhardt, 2015, ppdp)
* Type system in Software Product Lines	On Type Checking Delta-Oriented Product Lines (F. Damiani and M. Lienhardt, 2016, iFM)

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.