Michael Lienhardt's Home Page
photo.jpg

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.

Unless otherwise stated, the content of this page is licensed under Creative Commons Attribution-ShareAlike 3.0 License