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
- ORCID iD
- 0009-0007-5588-2724
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 | |
|---|---|---|
|
2023/09 - 2029/08
Em curso
|
Computer Science (Doutoramento)
Carnegie Mellon University, Estados Unidos
|
|
|
2023/09 - 2029/07
Em curso
|
Engenharia Informática e de Computadores (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
|
|
2021/09/13 - 2023/11/17
Concluído
|
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)
|
18 |
|
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 - 2024/08/07 | Assistente Convidado (Docente Universitário) | Universidade de Lisboa Instituto Superior Técnico, Portugal |
| Universidade de Lisboa Instituto Superior Técnico, Portugal |
Projetos
Projeto
| Designação | Financiadores | |
|---|---|---|
| 2024/01/23 - 2024/10/31 | Raciocínio sobre Discriminação Indireta
2022.03537.PTDC
Bolseiro de Investigação
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
|
Fundação para a Ciência e a Tecnologia
Em curso
|
Produções
Publicações
| Artigo em conferência |
|
Distinções
Prémio
| 2023 | Diploma de Mérito Académico
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
| 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
|