Ludovic Henrio
|
|
|
|
|
THIS PAGE HAS MOVED THERE
PhD Students:
Here are the PhD students for whom I am (co-)advisor
- Justine
Rochas: "Programming
models and middleware support for distributed and concurrent
applications". From Oct 2013
- Vincenzo Mastandrea "Deadlock
analysis for concurrent and distributed programming "
since Oct 2014. Advised with Cosimo Laneve (Univ of Bologna).
PhD students I advise
non-officially:
- Oleksandra
Kulankhina (since 2013) "Development of a Model Driven
Environment for design and verification of distributed component-based
systems". Advised with Eric Madelaine.
Former phD students (advised officially or not):
- 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-advised 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
- Nuno Gaspar (2011-2015)
“Integrated, Autonomic, and Reliable Deployment and Management for SaaS
composite applications” Co-advised with Eric
Madelaine
- Francesco Bongiovanni (2008 –
2012) “Conception, formalisation et implémentation de réseaux de
recouvrement ; application au stockage de données RDF”. Co-advised with
Françoise Baude.
- Mario Leyton (2005 – 2008)
“Advanced Features for Algorithmic Skeleton Programming” Co-advised with
Denis Caromel
Internship students (Master/engineers/...)
Here are the students I have advised during their internship
- Pavlo Khvorostov (Master 2 Ubinet - 2015) co-advised with Justine
Rochas
- 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