I am an associate professor with habilitation at the Computer Science Department, Universidade 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.
Teaching
Contacts
Dep. de Informática,
Universidade do Minho,
Campus de Gualtar,
4710-057 Braga, Portugal
Phone: +351 253 604 455
Email
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.