Curriculum Vitae
Rafael Henriques dos Santos Gonçalves
Identification
Personal identification
- Full name
- Rafael Henriques dos Santos Gonçalves
Citation names
- Gonçalves, Rafael
Author identifiers
- Ciência ID
- C417-1724-0729
- ORCID iD
- 0009-0007-5588-2724
Email addresses
- rafael.s.goncalves@tecnico.ulisboa.pt (Professional)
Languages
| Language | Speaking | Reading | Writing | Listening | Peer-review |
|---|---|---|---|---|---|
| Portuguese (Mother tongue) | |||||
| English | Proficiency (C2) | Proficiency (C2) | Proficiency (C2) | Proficiency (C2) | Proficiency (C2) |
| French | Elementary (A2) | Elementary (A2) | Elementary (A2) | Elementary (A2) | Elementary (A2) |
Education
| Degree | Classification | |
|---|---|---|
|
2023/09 - 2029/08
Ongoing
|
Computer Science (Doutoramento)
Carnegie Mellon University, United States
|
|
|
2023/09 - 2029/07
Ongoing
|
Engenharia Informática e de Computadores (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
|
|
2021/09/13 - 2023/11/17
Concluded
|
Engenharia Informática e de Computadores (Mestrado)
Major in Ciber-segurança & Sistemas Distribuídos
Universidade de Lisboa Instituto Superior Técnico, Portugal
"Specification-Driven Synthesis of Summaries for Symbolic Execution" (THESIS/DISSERTATION)
|
18 |
|
2018/09/11 - 2021/07/13
Concluded
|
Engenharia Informática e de Computadores (Licenciatura)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
17 |
Affiliation
Teaching in Higher Education
| Category Host institution |
Employer | |
|---|---|---|
| 2023/02/20 - 2024/08/07 | Invited Assistant (University Teacher) | Universidade de Lisboa Instituto Superior Técnico, Portugal |
| Universidade de Lisboa Instituto Superior Técnico, Portugal |
Projects
Contract
| Designation | Funders | |
|---|---|---|
| 2024/01/23 - 2024/10/31 | Raciocínio sobre Discriminação Indireta
2022.03537.PTDC
Research Fellow
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
|
Fundação para a Ciência e a Tecnologia
Ongoing
|
Outputs
Publications
| Conference paper |
|
Distinctions
Award
| 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
|