I am a PhD student at LORIA (Université de Lorraine) under the supervision of Romain Péchoux and Emmanuel Hainry in the MOCQUA team, working on formal methods applied to quantum programming languages.

Previously, I was a research assistant at Instituto de Telecomunicações working on quantum key distribution protocols, and before that I got my Master's in Applied Mathematics and Computation at the Instituto Superior Técnico in Lisbon, and my Bachelor's in Physics at the Faculty of Sciences in Porto.

During my Master's I had the honor of receiving an Award of Academic Merit from Instituto Superior Técnico and a New Talents in Quantum Technologies research grant from the Calouste Gulbenkian Foundation.

Here is my CV.