Ludovic Henrio

PhD Students:

Here are the PhD students for whom I am (co-)advisor
No student for the moment, have a look there if you want to come and work with us.

Former phD students:

Alessandro Basso: "Integrating formal reasoning into a component-based approach to reconfigurable distributed systems". Advised with Alexander Bolotov and Vladimir Getov at University of westminster (Feb 2006 - Mar 2010)
Paul Naoumenko: "Designing non-functional aspects with components" (Oct 2006 - July 2010). Co-encadvised with Françoise Baude.
Muhammad Uzair Khan: "A Study of First Class Futures: Specification, Formalisation, and Mechanised Proofs" (Oct 2007 - Feb 2011). Co-advised with Denis Caromel
Marcela Rivera: "Reconfiguration and Life-cycle of Distributed Components: Asynchrony, Coherence and Verification" (Dec 2006 - Dec 2011). Co-advised with Denis Caromel

Internship students (Master/engineers/...)

Here are the students I have advised during their internship

Zsolt Istvàn (Technical University of Cluj-Napoca - 2011), co-advised with Fabrice Huet
Boutheina Bannour (Master 2 + Enseirb - 2008), co-advised with Marcela Rivera
Sona Djohou (Master 1 - 2008)
Muhammad Uzair Khan (Master 2 - 2007)
Paul Naoumenko (Master 2 - 2006) co-advised with Françoise Baude