He works in applied research in the field of Computer Science. He is a problem-solving oriented professional with a diverse knowledge base, both in programming languages and software verification. After completing his bachelor's degree in Electrical and Computer Engineering in 2000 at FEUP, he started his career at INESC TEC, specializing in Distributed Computing, and was part of the spin-off MOG-Solutions. Subsequently, he undertook an INOV-Contacto internship at the European Space Agency (ESA) in Darmstadt, where he developed his master's thesis, "A hybrid design solution for spacecraft simulators", later presented in the Master's in Computer Engineering program at FEUP in 2007. Later, he obtained a Ph.D. scholarship from FCT and attended the doctoral program MAP-i at FCUP. His doctoral thesis is titled "Semantics-based Program Verification: an Abstract Interpretation Approach", which focuses on using functional programming for static program analysis. After the four-year scholarship period, in 2012, he completed a brief internship at the University of Saarbrücken, followed by five years of postdoctoral activity. At the Laboratoire d’Informatique Fondamentale d’Orléans (LIFO), he worked on correctness proofs of parallel programs using algorithmic skeletons. At the Rochester Institute of Technology (RIT), he worked on the design and formal analysis of a functional mini-language with implicit parallelism. Finally, at the Department of Computer Science at L’Università di Torino (UNITO), he worked on the formal verification of Software-Product Lines. In 2017, he returned to Portugal and collaborated with the start-up Nuada, where he was involved in hardware-software integration activities, firmware development, and 3D animation. Since 2022 to the present, he has been part of VORTEX-Colab, a collaborative laboratory in the field of cyber-physical systems, working on software verification in embedded systems. He is currently an assistant professor at FCUP.