I’m passionate about formal reasoning, verification tools, and programming languages. I hold a Master’s in Informatics Engineering from the University of Minho, where I explored the link between formal specifications and executable code. I also spent a semester at LMU Munich through Erasmus+, focusing on formal methods and model checking.
