2020-2021 | Engineering school, 3rd year at the M2 Master Parisien de Recherche en Informatique | Télécom Paris with Université de Paris |
2019-2020 | M1 of fundamental and applied mathematics | Université de Paris |
2019-2020 | Engineering school, 2nd year, foundations of CS and computational algebra tracks | Télécom Paris |
2018-2019 | Engineering school, 1st year, general topics | Télécom Paris |
These are a few of my favorite things 🎵: Music theory, Singing, Harp (2021, 2022), 日本語, Português brasileiro, Writing, Swimming, Running, Programming, Agda and proof assistants. And a lot more!
If you like type theory and logical frameworks, go see Thiago Felicissimo!
I am a member of the ReFL / Réflexions sur les Fondements de la Logique discussion group, which brings together young researchers interested in linear logic, and more generally in theoretical computer science.