Associate Professor at the Department of Informatics of the NOVA School of Science and Technology, in Lisbon, Portugal, which he join in 2009. Before he was Assistant Professor at the Department of Mathematics of the Science and Technology Institute of the University of Lisbon, where he did an MSc in 1995 and PhD in 2000, in Theoretical Computer Science.

António works on foundations of behavioural types and on their application in programming languages. He was vice-chair of the EU COST Action on Behavioural Types (2012 - 2016) and is presently work-package chair of the EU project on Behavioural APIs (BEHAPI).