I am an associate professor with habilitation at the Computer Science DepartmentUniversidade do Minho, and a senior researcher at the High Assurance Software laboratory, HASLab/INESCTEC. I did a PhD in theoretical computer science at LIXÉcole Polytechnique, under the supervision of Ian Mackie and Radhia Cosout, working on Interaction Nets and the Geometry of Interaction. My research in recent years has focused on deductive program verification.

Personal webpage