Personal identification

Full name

Rafael Braga Gomes da Costa

Citation names

• Costa, Rafael

Author identifiers

Ciência ID

DB19-3048-EE03

ORCID iD

0009-0004-1114-1711

	Degree	Classification
2020 Concluded	Engenharia Informática (Mestrado) Major in Sem especialização Universidade do Minho, Portugal "Prototipagem de Interfaces " (THESIS/DISSERTATION)

Science

	Category Host institution	Employer
2021/01/01 - Current	Contracted Researcher (Research)	Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
	Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal

Contract

	Designation	Funders
2024/04/01 - Current	BeFlexible PG06385 Technical development Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal	Horizon 2020 Ongoing
2023/01/01 - 2024/03/31	InterConnect PG06279 Technical development Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal	Horizon 2020 Concluded
2022/06/01 - 2022/12/31	Valorem PG06307 Technical development Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal	Fundação para a Ciência e a Tecnologia Concluded
2021/01/01 - 2022/06/01	DigiLightRail PL05058 Technical development Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal	Efacec Power Solutions Concluded

Publications

Conference paper

Martins, João; Fonseca, José M.; Costa, Rafael; Campos, José C.; Cunha, Alcino; Macedo, Nuno; Oliveira, José N.. "Verification of railway network models with EVEREST". 2022. 10.1145/3550355.3552439