Curriculum Vitae
Rafael Henriques dos Santos Gonçalves
Identificação
Identificação pessoal
- Nome completo
- Rafael Henriques dos Santos Gonçalves
Nomes de citação
- Gonçalves, Rafael
Identificadores de autor
- Ciência ID
- C417-1724-0729
Endereços de correio eletrónico
- rafael.s.goncalves@tecnico.ulisboa.pt (Profissional)
Idiomas
| Idioma | Conversação | Leitura | Escrita | Compreensão | Peer-review |
|---|---|---|---|---|---|
| Português (Idioma materno) | |||||
| Inglês | Utilizador proficiente (C2) | Utilizador proficiente (C2) | Utilizador proficiente (C2) | Utilizador proficiente (C2) | Utilizador proficiente (C2) |
| Francês | Utilizador elementar (A2) | Utilizador elementar (A2) | Utilizador elementar (A2) | Utilizador elementar (A2) | Utilizador elementar (A2) |
Formação
| Grau | Classificação | |
|---|---|---|
|
2021/09/13 - 2023/11/30
Em curso
|
Engenharia Informática e de Computadores (Mestrado)
Especialização em Ciber-segurança & Sistemas Distribuídos
Universidade de Lisboa Instituto Superior Técnico, Portugal
"Specification-Driven Synthesis of Summaries for Symbolic Execution" (TESE/DISSERTAÇÃO)
|
|
|
2018/09/11 - 2021/07/13
Concluído
|
Engenharia Informática e de Computadores (Licenciatura)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
17 |
Percurso profissional
Docência no Ensino Superior
| Categoria Profissional Instituição de acolhimento |
Empregador | |
|---|---|---|
| 2023/02/20 - 2023/08/18 | Assistente Convidado (Docente Universitário) | Universidade de Lisboa Instituto Superior Técnico, Portugal |
| Universidade de Lisboa Instituto Superior Técnico, Portugal |
Distinções
Prémio
| 2021 | Diploma de Excelência Académica
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
| 2020 | Diploma de Mérito Académico
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
| 2019 | Diploma de Mérito Académico
Universidade de Lisboa Instituto Superior Técnico, Portugal
|