Michael Lienhardt's Home Page
photo.jpg

Current Position

Since November 2013, I am back at the Computer Science Department of the University of Bologna (Italy) for another Post-Doc.
My advisor is Cosimo Laneve.
Most of my research was dedicated to the Envisage European Project.

Contact
Currently, my main email address for work is: michael [dot] lienhardt [at] inria [dot] fr

Address
Michael Lienhardt
mura Anteo Zamboni 7,
40126 Bologna, 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

Implementation

Former positions

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.

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