Ludovic Henrio

PhD Students:

Here are the PhD students for whom I am (co-)advisor

Emma Nardino, "Active Objects based on Algebraic Effects", started in 2024, co-advised with Yannick Zakowski and Gabriel Radanne

Former phD students (advised officially or not):

Nicolas Chappe, "A concurrency model based on monadic interpreters: Executable semantics for a concurrent subset of LLVM IR", 2021-2024, co-advised with Yannick Zakowski
Julien Emmanuel, "A full stack simulator for HPC: Multi-level modelling of the BXI interconnect to predict the performance of MPI applications", 2020-2023, co-advised with Matthieu Moy.
Amaury Maillé, "Simple, Safe and Efficient Abstractions for Communication and Streaming in Parallel Computing", 2019-2023, co-advised with Matthieu Moy
Pierre Leca "Distributed BSP: Active objects for BSPLib programs". Since 2017. CIFRE with Huawei Technologies, Parallel And Distributed Algorithms Lab, Co-advised with Françoise Baude (I3S), Wijnand Suijlen, Gaétan Hains (Huawei Technologies)
Vincenzo Mastandrea "Deadlock analysis for concurrent and distributed programming " 2014-2017. Advised with Cosimo Laneve (Univ of Bologna).
Oleksandra Kulankhina (2013 - Oct 2016) "Development of a Model Driven Environment for design and verification of distributed component-based systems". Advised with Eric Madelaine.
Justine Rochas: "Programming models and middleware support for distributed and concurrent applications". Oct 2013 - Sept 2016.
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

ENS Lyon: Emma Nardino (2024) co-advised with Yannick Zakowski
M2: Wenke Du (2024) co-advised with Gabriel Radanne
M2: Vivien Gachet (2024) co-advised with Gabriel Radanne
David Gozlan (2023) co-advised with Gabriel Radanne
Master 2 ENS Lyon: Lev Pikman "Formal Algebraic Proofs of Optimizations" (2022) co-advised with Yannick Zakowski.
Master 1 ENS Rennes: Martin Andrieux "Safe concurrent abstractions for multicore OCaml" (2022) co-advised with Gabriel Radanne.
Master 2 ENS Lyon: Nicolas Chappe "Compositional code generators for verified LLVM IR" (2021) co-advised with Yannick Zakowski.
Master 2 ENS: Quentin Corradi ""Designing a refinement relation for open automata" (2021) co-advised with Rabéa Boulifa and Eric Madelaine.
Master 2 ENS Lyon: Alban Reynaud "A parameterized bisimulation for interaction trees" (2021) co-advised with Yannick Zakowski.
Master 2: Ambre Suhamy "Formalisation en Coq de sémantiques de calculs de processus" (2021) co-advised with Yannick Zakowski.
Polytechnique: Hadrien Renaud "Dataflow explicit futures and comparison with traditional futures" (2020) co-advised with Matthieu Moy and Amaury Maillé.
Master 1 ENS Lyon: Baptiste Allorant "Synchronous Language Mechanism in an Asynchronous Setting" (2020) co-advised with Einar Broch Johnsen
Master 2 ENS Lyon: Nicolas Chappe "Dataflow explicit futures: Formalisation and experimentation" (2020) co-advised with Matthieu Moy and Amaury Maillé.
Amaury Maillé, Master 2 SRIV (Lyon 1). co-advised with Matthieu Moy
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