COORDINATION 2021Last updated on Dec 10, 2020Go to Project SiteJosé ProençaSenior ResearcherJosé Proença is a senior researcher at CISTER, ISEP, Portugal, working on formal models for component-based and critical systems.