I am a PhD student, and formal verification of software is the main target of my research and professional interests. I graduated in Computer Science at the University of Minho, in 2011, having attended one year at the University of Groningen, Netherlands, under the Erasmus Program. In 2013, I completed my Master degree in Software Engineering at the University of Minho, where I studied mainly formal methods and distributed systems.

My Master's thesis (“A bounded model checker for SPARK”) focused on formal verification of software, more precisely on programs written in SPARK, a language broadly used in the development of safety-critical systems.