José is a Senior Researcher at the High-Assurance Software Laboratory, a research center of INESC TEC and University of Minho, and an Associate Professor at the Department of Informatics of University of Minho.

Website:

https://jopereira.github.io/

DBLP Listing:

https://dblp.org/pid/39/2069.html