Matteo Mio
PhD, CNRS Researcher

---

PhD:

• Ralph Sarkis (2021-today, ENS-Lyon).
• Co-supervised with: Russ Harmer and Valeria Vignudelli.
• Christophe Lucas (2019-2022, ENS-Lyon). Thesis: ``Proof Theory of Riesz Modal Logic''
• Co-supervised with: Damien Pous.

Internships: 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 students:

• 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.