About me
I am a 29 year old PhD student in Mathematics at the University of Aveiro (Portugal). I have always been passionate about Mathematics, from studying to teaching it. I want to bring Mathematics closer to everyone around me since I believe that Mathematics is filled with beauty and... a lot of problems to be solved! I am originally from Luxembourg and I speak 9 languages.
Academic path
PhD in Mathematics
2025 (current)
Currently, I am doing a PhD program in Mathematics at the University of Aveiro, in Portugal. My main focus lies on . I am currently a member of the research unit CIDMA in the group of Optimization Graph Theory and Combinatorics Group
Master in Mathematics
2024
I did my Master's degree at the Faculty of Sciences of the University of Lisbon (FCUL) in Portugal. Most of the classes I took are related to Algebra and Logic, as they are two of my main focuses in Mathematics. My master thesis focused on functional interpretations and its formalization in the proof assistant Lean, as an interplay between Classical Logic and Type Theory (On the Star Combinatory Calculus : formalization and applications to classical logic). During my research I was part of LASIGE, the research unit of the Department of Informatics of FCUL.
Mobility Semester
2017
During my Bachelor Studies, I did a Mobility Semester as a Free Mover at the Faculty of Sciences of the University of Lisbon, where I am currently studying.
Bachelor in Mathematics
2018
At the Faculty of Science, Technology and Medicine (FSTM) I obtained my Bachelor Degree in Mathematics. I participated twice in the Experimental Mathematics Lab of the University of Luxembourg and wrote my Bachelor Thesis on Topology (The Axiom of Choice and Compactness). I also followed lectures in Didactics of Mathematics with practical work in High Schools during 4 semesters. Moreover, I was member of the Students Association CEST for 3 years.
Baccalaureatus Europaean
2014
I obtained my High School Diploma (Baccalaureatus Europaean) at the European School of Luxembourg I. During this time I participated in many Mathematics Olympics and chose various Advanced Mathematics subjects.
Main mathematical interests
Since the beginning of my Mathematics studies, I've been really fond of Algebra and related topics. Lately I've developed a great interest in Category Theory and Logic. I also enjoy working with programs such as Sage, Lean and LaTeX to express my mathematical side.