☰ Léo Henry

Léo Henry

I am currently an ATER (non-permanent teaching position) at Aix-Marseille Université, in the MOdelisation and VErification (MOVE) team (come and present at the MOVE Seminar).

Latest news

Short bio

I completed my PhD in 2021 at the IRISA laboratory, in the SUMO team (now DEVINE), under the supervision of Nicolas Markey and Thierry Jéron.
I then went to London to do two post-doctorates, first under the supervision of Alexandra Silva at University College London and then under the supervision of Matteo Sammartino at Royal Holloway University London

I was formerly a student at ENS Rennes and Université Rennes 1.

Download Resume (2025) Version Française (2025)

Makushita

Between May 2019 and the end of my thesis, I animated and co-organized a seminar of non-permanent members of the SUMO and LogicA teams named Makushita. Our purpose was to help young members to exchange on exciting subjects, help them to know each other('s work) better, and train some presentations, especially for undergrad interns. Some of the presentation slides are available here.

Research

My research interest span the verification and inference of systems that depend on time and / or data, with an emphasis on active automata learning and agent-system interactions. I am generally happy at the intersection of one of several of: synchronizing systems; timed systems; systems with data; partially controllable systems; evolving systems; noisy observations; partially observable systems.

Publications

You can also consult my dblp bibliography.

2025
  • Léo Henry, Thomas Neele, Mohammad Reza Mousavi, Matteo Sammartino. Compositional Active Learning of Synchronizing Systems through Automated Alphabet Refinement. Concur 2025 Best paper award! arXiv
2024
  • Léo Henry, Thierry Jéron, Nicolas Markey, Victor Roussanaly. Distributed Monitoring of Timed Properties. RV 2024. arXiv
2023
  • Tiago Ferreira, Léo Henry, Raquel Fernandes da Silva, Alexandra Silva. Conflict-Aware Active Automata Learning. GandALF 2023. arXiv
  • Léo Henry, Blaise Genest, Alexandre Drewery. Reinforcement Planning for Effective ε-Optimal Policies in Dense Time with Discontinuities. FSTTCS 2023. open access!
2022
  • Léo Henry, Thierry Jéron, Nicolas Markey. Control Strategies for Off-Line Testing of Timed Systems. FMSD 60. PDF
2021
  • My thesis : web page; PDF.
  • Patricia Bouyer, Léo Henry, Samy Jaziri, Thierry Jéron, Nicolas Markey. Diagnosing timed automata using timed markings. STTT 23. PDF
2020
  • Léo Henry, Thierry Jéron, Nicolas Markey. Active Learning of Timed Automata with Unobservable Resets. FORMATS 2020. arXiv
2018
  • Léo Henry, Thierry Jéron, Nicolas Markey. Control Strategies for Off-Line Testing of Timed Systems. SPIN 2018. arXiv

Teaching

Current

I am currently teaching in the Computer Science and Interactions department of AMU. For students, your first reflex should be to through AMeTICE.
  • Automata and Formal Languages : Practical sessions (Bachelor 2 - Mathematic Computer Science)
  • Algorithmic 2 : Practical sessions (Bachelor 3 - Computer Science)
  • Algorithmic and Programmation : Course supervisor (Bachelor 2 of Mathematics; remote)
  • Program Analysis : Practical sessions (Master 1 - Software Reliability)
  • Compilation : Course supervisor (Bachelor 3 - Mathematic Computer Science and double bachelor Mathematics and Computer Science)
  • Operating Systems : Course supervisor (Bachelor 2 - Mathematic Computer Science and double bachelor Mathematics and Computer Science)
  • Probabilities and Statistics for Computer Science : Practical sessions and tutoring (Bachelor 2 - Computer Science)

Previous

2022-2023
  • Mathematical tools for Computer Science: Seminars. Class by Louis Parlant, 1st year UCL.
2020-2021
2019-2020
2018-2019
  • Functional Programming: Practical sessions. Class by Barbara Fila, first year INSA Rennes.
  • Calculability: Seminars and practical sessions. Class by Gilles Lesventes, 2nd year Bachelor, ISTIC.

Contact.

Bureau 5.21, TPR1
Campus de Luminy
163 Avenue de Luminy
Case 901
13288 Marseille - France

Email

Research: leo[dot]henrylis-lab[dot]fr
Teaching: leo[dot]henryuniv-amu[dot]fr