Ludovic Henrio
|
|
|
|
|
Feb 2013: This web page has moved THERE
PhD
Students:
One
open PhD position in collaboration with university of
Bologna
Here are the PhD students for whom I am (co-)advisor
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
PhD students I advise(d) non-officially:
- Nuno Gaspar (since 2011)
“Integrated, Autonomic, and Reliable Deployment and Management for SaaS
composite applications”
- Francesco Bongiovanni (2008 –
2012)
“Conception, formalisation et implémentation de
réseaux de recouvrement ; application au stockage de données RDF”
- Mario Leyton (2005 – 2008)
“Advanced Features for Algorithmic Skeleton Programming”
Internship
students (Master/engineers/...)
Here are
the students I have advised during their internship
- Justine Rochas (Master 2 Ubinet - 2013)
- Matias Ibañez (Ecole
d’ingénieur, Universidad de Chile - 2012)
- Jonas Chapelet (2ème année
ENSIIE - 2012)
- 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