I hold Bachelor's and Master's degrees from Faculdade de Engenharia da Universidade do Porto (FEUP), specializing in Informatics and Computing Engineering. They were concluded in 2021 and 2023 with final grades of 17 and 18, respectively. I also studied Computer Engineering for a year at another sought-after university in Brazil before changing my country of residence to Portugal. I am pursuing further studies at the same institution as a PhD student in the Doctoral Program in Informatics Engineering. After I finish my institution's first year as a student attending courses, I will become a PhD candidate. My motivation to work on research led to my initiation in the field, a fellowship under the Safe Cities project in 2021, where I concentrated on studying transfer learning techniques. Subsequently, while doing my master's, my scholarly passion shifted towards formal methods and programming languages. My interest in software verification directed me to pursue a master's thesis on the topic of program repair in the context of contract programming, also part of a fellowship at INESC TEC under the SpecRep project. These activities culminated in me completing the thesis dissertation, publicating and orally presenting an article in a workshop at ASE and getting the necessary background for my PhD. My enthusiasm for exploring computer science topics is also apparent through my voluntary involvement with SPLASH, where I actively participated in the conference as a helper and attendee, introducing me to the conference world. I am currently also an invited assistant for the compilers course in the Bachelor in Informatics and Computing Engineering programme at FEUP.