More about me Education 2020-2021 Engineering school, 3rd year at the M2 Master Parisien de Recherche en Informatique Télécom Paris hors les murs 2019-2020 M1 of fundamental and applied mathematics Université Paris Cité 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 Things I like 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, logical frameworks, bidirectional typing, or higher-order rewrite systems, go see Thiago Felicissimo!