Currently, I am a 24 year old Mathematics Student attending the last year of the Master in Mathematics at the Faculty of Sciences of the University of Lisbon (Portugal). I am originally from Luxembourg, where I obtained my Bachelor's degree in Mathematics in 2018.
Master in Mathematics
September 2019 - current
Currently, I am doing a Master's degree at the Faculty of Sciences of the University of Lisbon (FCUL) in Portugal. Most of the classes I took and am taking are related to Algebra, as it is one of my main focus in Mathematics. I am now working on my Master Thesis, which will be an interplay between Classical Logic and Type Theory using a proof assistant called Lean.
September 2017 - February 2018
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
September 2015 - July 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.
September 2007 - June 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. I also enjoy working with programs such as Sage, Lean and LaTeX to express my mathematical side.