Matteo Mio
CNRS Researcher

---

I'm always happy to supervise internships ('Stage L3', 'Stage M1' or 'Stage M2' in the French system). Feel free to contact me by email if you are interested.

Past supervised PhD students:

• Ralph Sarkis (2021-2024, ENS-Lyon). Thesis: ``Lifting Algebraic Reasoning to Generalized Metric Spaces''
• Co-supervised with: Valeria Vignudelli.
• Christophe Lucas (2019-2022, ENS-Lyon). Thesis: ``Proof Theory of Riesz Modal Logic''
• Co-supervised with: Damien Pous.

Past supervised internships:

• Vincent Michelini (M2 ENS-Lyon, 2017).
• Christophe Lucas (M2 ENS-Lyon, 2018).
• Emirhan Gurpinar (M2 ENS-Lyon, 2019).
• Ralph Sarkis (M1 ENS-Lyon, 2020), co-supervised with Valeria Vignudelli.
• Serge Lechenne (L3 ENS-Cachan, 2022), co-supervised with Valeria Vignudelli.
• Apolline Rodary (M2 ENS-Lyon, 2025), co-supervised with Valeria Vignudelli and Paolo Pistone.