I am currently a postdoc in the QuaCS team at Laboratoire Méthodes Formelles, in Université Paris-Saclay, working with Benoît Valiron.

Previously, I was 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.

Before that 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.