Curriculum Vitae
Nuno Alexandre Marques Policarpo
Identification
Personal identification
- Full name
- Nuno Alexandre Marques Policarpo
Citation names
- Policarpo, Nuno
Author identifiers
- Ciência ID
- A71A-6D87-8AD1
- ORCID iD
- 0009-0001-9559-1805
Languages
| Language | Speaking | Reading | Writing | Listening | Peer-review |
|---|---|---|---|---|---|
| Portuguese (Mother tongue) | |||||
| English | Advanced (C1) | Advanced (C1) | Advanced (C1) | Advanced (C1) | Advanced (C1) |
Education
| Degree | Classification | |
|---|---|---|
|
2022/09/10 - 2024/11/15
Concluded
|
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" (THESIS/DISSERTATION)
|
18.75 |
|
2019/09/10 - 2022/07/20
Concluded
|
Engenharia Informática e de Computadores (Licenciatura)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
18 |