About me

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.


Academic path

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.

Mobility Semester

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.

Baccalaureatus Europaean

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.

Image by Callum Wale

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.


©2020 by Lia Malato Leite. Proudly created with

This site was designed with the
website builder. Create your website today.
Start Now