===== More about me ===== ==== Education ==== | 2020-2021 | Engineering school, 3rd year at the M2 [[https://wikimpri.dptinfo.ens-cachan.fr/doku.php?id=cours:cours2|Master Parisien de Recherche en Informatique]] | Télécom Paris with Université de Paris | | 2019-2020 | M1 of [[https://master.math.univ-paris-diderot.fr/annee/m1-math/|fundamental and applied mathematics]] | Université de Paris | | 2019-2020 | Engineering school, 2nd year, [[https://synapses.telecom-paris.fr/catalogue/parcours/1374/MITRO-filiere-mathematique-informatique-theorique-et-recherche-operationnelle-creneau-b|foundations of CS]] and [[https://synapses.telecom-paris.fr/catalogue/parcours/1401/ACCQ-filiere-algebre-appliquee-cryptographie-information-quantique-codage-creneau-c|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 [[https://www.youtube.com/watch?v=bACiODIbf84|🎵]]: Music theory, Singing, Harp ([[https://drive.google.com/file/d/1h2L48TY3FvsJdZa7c4mwGK4_KtzpxaDs/view|2021]], [[https://drive.google.com/file/d/1NNPwQuJE71EvSVzS2YKYnYqkzPsFwFq4/view|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 [[https://felicissimo.fr/|Thiago Felicissimo]]! I am a member of the [[https://www.engboris.fr/refl/|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.