Identificação pessoal

Nome completo

Rafael Braga Gomes da Costa

Nomes de citação

• Costa, Rafael

Identificadores de autor

Ciência ID

DB19-3048-EE03

ORCID iD

0009-0004-1114-1711

	Grau	Classificação
2020 Concluído	Engenharia Informática (Mestrado) Especialização em Sem especialização Universidade do Minho, Portugal "Prototipagem de Interfaces " (TESE/DISSERTAÇÃO)

Ciência

	Categoria Profissional Instituição de acolhimento	Empregador
2021/01/01 - Atual	Investigador Contratado (Investigação)	Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
	Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal

Projeto

	Designação	Financiadores
2024/04/01 - Atual	BeFlexible PG06385 Desenvolvimento técnico Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal	Horizon 2020 Em curso
2023/01/01 - 2024/03/31	InterConnect PG06279 Desenvolvimento técnico Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal	Horizon 2020 Concluído
2022/06/01 - 2022/12/31	Valorem PG06307 Desenvolvimento técnico Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal	Fundação para a Ciência e a Tecnologia Concluído
2021/01/01 - 2022/06/01	DigiLightRail PL05058 Desenvolvimento técnico Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal	Efacec Power Solutions Concluído

Publicações

Artigo em conferência

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