???global.info.a_carregar???
Identificação

Identificação pessoal

Nome completo
Nuno Alexandre Marques Policarpo

Nomes de citação

  • Policarpo, Nuno

Identificadores de autor

Ciência ID
A71A-6D87-8AD1
ORCID iD
0009-0001-9559-1805

Idiomas

Idioma Conversação Leitura Escrita Compreensão Peer-review
Português (Idioma materno)
Inglês Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1)
Formação
Grau Classificação
2022/09/10 - 2024/11/15
Concluído
Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
"Specifying Distributed Hash Tables with Allen’s Temporal Logic in Alloy" (TESE/DISSERTAÇÃO)
18.75
2019/09/10 - 2022/07/20
Concluído
Engenharia Informática e de Computadores (Licenciatura)
Universidade de Lisboa Instituto Superior Técnico, Portugal
18