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
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 | |
|---|---|---|
|
2021/09/13 - 2023/11/30
Ongoing
|
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)
|
|
|
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 - 2023/08/18 | Invited Assistant (University Teacher) | Universidade de Lisboa Instituto Superior Técnico, Portugal |
| Universidade de Lisboa Instituto Superior Técnico, Portugal |
Distinctions
Award
| 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
|