I am a researcher at the Artificial Intelligence and Computer Science Laboratory at the University of Porto. My research interests lie in the area of programming languages, encompassing the topics of program logics and semantics, type systems, and automated program verification. Since September of 2023, I have been an invited assistant at the Department of Computer Science within the Faculty of Sciences of the University of Porto. As an invited assistant I provide practical instruction for the first-year programming courses offered by both the Faculty of Science and the Faculty of Engineering. I hold a Master's degree in Computer Science from the Faculty of Sciences of the University of Porto, with a specialization in Reliable Computing, as well as a Bachelor degree in Computer Science from the same institution. My dissertation focused on the implementation of type inference algorithms for functional programming languages with type systems that combine subtyping with other forms of polymorphism. My scientific contributions include my master's dissertation and a conference abstract that outlines the novel work in my dissertation. This abstract was presented at the ML workshop co-located with the International Functional Programming Conference in 2022. Additionally, I have collaborated on a conference paper that describes a lazy abstract machine for a pattern-matching calculus. This work was presented at the Symposium on Implementation and Application of Functional Languages in 2023.