I am a Junior Researcher at Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa (INESC-ID) and a Teaching Assistant at Instituto Superior Técnico, University of Lisbon. I concluded my BSc (2017) and MSc (2019) in Information Systems and Computer Engineering at Instituto Superior Técnico, University of Lisbon. . During this time, I obtained not only top marks, but I also acquired unique soft skills as Student Delegate, for 3 years, and Student Member of The Pedagogical Council, for 1 year. During my studies, I have received 5 Student Excellence Diplomas. From an early age, I have been fascinated with Computer Science (CS). My BSc and MSc degrees at IST proved instrumental to broaden my interests in different areas of CS, including Artificial Intelligence, Automated Reasoning, Formal Methods, Machine Learning, but also Program Repair and Program Synthesis. During the final year of my MSc final year, I worked as a Student Intern at OutSystems. My MSc thesis was supervised by Professor Vasco Manquinho from IST and Miguel Ventura from OutSystems. During the same period, I was also a Research Assistant at Carnegie Mellon University, USA, where I worked with Professor Ruben Martins.