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 |