António Ravara

António Ravara

Associate Professor

NOVA School of Science and Technology

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).


  • PhD in Mathematics, 2000

    Technical University of Lisbon

  • MSc in Applied Mathematics, 1996

    Technical University of Lisbon

  • BSc in Geographical Engineering, 1991

    University of Lisbon