Curriculum Vitae
Henrique Miguel de Andrade Campos Navas
Identificação
Identificação pessoal
- Nome completo
- Henrique Miguel de Andrade Campos Navas
Nomes de citação
- Campos Navas, Henrique
Identificadores de autor
- Ciência ID
- 3016-6309-7728
- ORCID iD
- 0009-0001-4278-5577
Domínios de atuação
- Ciências Exatas - Matemática
Idiomas
| Idioma | Conversação | Leitura | Escrita | Compreensão | Peer-review |
|---|---|---|---|---|---|
| Português (Idioma materno) | |||||
| Inglês |
Formação
| Grau | Classificação | |
|---|---|---|
|
2022 - 2023/07/10
Concluído
|
Matemática Aplicada e Computação (Mestrado)
Especialização em Lógica e Computação
Universidade de Lisboa Instituto Superior Técnico, Portugal
"Weakly Non-computable Processes Described by Evolving Recursive Functions" (TESE/DISSERTAÇÃO)
|
19 |
|
2017/09 - 2022/07
Concluído
|
Matemática Aplicada e Computação (Bachelor (1.º ciclo de estudos))
Universidade de Lisboa Instituto Superior Técnico Departamento de Matemática, Portugal
|
15 |
Percurso profissional
Docência no Ensino Superior
| Categoria Profissional Instituição de acolhimento |
Empregador | |
|---|---|---|
| 2025/02/10 - Atual | Assistente Convidado (Docente Universitário) | Universidade Lusófona de Humanidades e Tecnologias, Portugal |
| Universidade Lusófona de Humanidades e Tecnologias, Portugal | ||
| 2023/07 - 2024/01 | Assistente Convidado (Docente Universitário) | Universidade de Lisboa Faculdade de Ciências, Portugal |
| 2023/05 - 2023/07 | Monitor (Docente Universitário) | Universidade de Lisboa Instituto Superior Técnico, Portugal |
Projetos
Bolsa
| Designação | Financiadores | |
|---|---|---|
| 2023/06/01 - 2024/05/31 | The Hardness of Finding Good Algorithms
Bolseiro de Iniciação Científica
|
Em curso
|
Produções
Outros
| Outra produção |
|
Atividades
Apresentação oral de trabalho
| Título da apresentação | Nome do evento Anfitrião (Local do evento) |
|
|---|---|---|
| 2022 | Seminário “(Diagonal) de Cantor e a inexistência dos reais” | Seminário Diagonal
Instituto Superior Técnico (Portugal)
|
Organização de evento
| Nome do evento Tipo de evento (Tipo de participação) |
Instituição / Organização | |
|---|---|---|
| 2023/07 - 2023/07 | Co-organizador do Dia da Matemática no IST, em colaboração com o Departamento de Matemática
do IST (2023/07)
Exposição (Coorganizador)
|
Universidade de Lisboa Instituto Superior Técnico Departamento de Matemática, Portugal |
| 2020 - 2021 | Membro da Organização do Encontro Nacional de Estudantes de Matemática 2021 (2021 - 2021) |
Participação em evento
| Descrição da atividade Tipo de evento |
Nome do evento Instituição / Organização |
|
|---|---|---|
| 2019/07 - 2019/07 | Coordenador e Mentor na área de Matemática na Academia de Verão de Aprendizagem e Olimpiadas Cientificas, no Instituto Superior Técnico. | |
| 2018/07 - 2018/07 | Mentor na área de Matemática na Academia de Verão de Aprendizagem e Olimpiadas Cientificas, no Instituto Superior Técnico. |
Curso / Disciplina lecionado
| Disciplina | Curso (Tipo) | Instituição / Organização | |
|---|---|---|---|
| 2022 - 2023 | Coordenador e Mentor do Bootcamp de Combinatória e Computação, no âmbito do projeto After School no Instituto Superior Técnico | (Outros) | |
| 2021 - 2021 | Mentor do curso Matemática Olímpica, no âmbito do projeto After School no Instituto Superior Técnico | (Outros) | |
| 2021 - 2021 | Mentor do curso Lógica e Demonstrações, no âmbito do projeto After School no Instituto Superior Técnico | (Outros) | |
| 2019 - 2019 | Coordenador e Mentor do Curso de Matemática Avançada, no âmbito do projeto After School no Instituto Superior Técnico | (Outros) | |
| 2018 - 2019 | Monitor no Projeto Delfos da Universidade de Coimbra, tendo ensinado os temas: Invariantes, Monovariantes e Colorações | (Outros) | Universidade de Coimbra, Portugal |
Entrevista (jornal / revista)
| Descrição da atividade | Jornal / Forum | |
|---|---|---|
| 2020/02 | Equipa do Técnico conquista medalha de bronze em competição internacional Alberto Cavaleiro Pacheco, ao Gonçalo Paredes e ao Henrique Navas conquistaram um honroso oitavo lugar na SWERC 2019-2020. | |
| 2019 | O que fascina os jovens na Matemática. Henrique e Rafael seguiram-na até à faculdade Para Henrique e Rafael, os números chegaram antes das letras e, por isso, decidiram que era Matemática que seguiriam na universidade, como alunos do Instituto Superior Técnico de Lisboa. No dia em que milhares de alunos realizam o exame de Matemática A, estes jovens mostram como uma área com tão fracos resultados escolares pode, afinal, ser entusiasmante. | Diario de Notícias |
| 2017 | Ouro para o Técnico nas Olimpíadas Ibero-Americanas de Matemática A equipa portuguesa obteve excelentes resultados, arrecadando três medalhas (ouro, prata e bronze), destacando-se a de ouro conquistada por Henrique Navas. | |
| 2017 | Mentes que brilham: como se faz um "olímpico" na Matemática Olimpíadas. Até amanhã, em Viseu, Portugal elege os seus melhores, num desafio com cada vez melhores resultados internacionais | Diário de Noticias |
Entrevista / Programa (rádio / tv)
| Programa | Tema | |
|---|---|---|
| 2018 - Atual | Rádio Renascença | Olimpíadas de Matemática |
| 2017 - Atual | Sociedade Civil | Matemática: Bicho de 7 Cabeças |
Membro de associação
| Nome da associação | Tipo de participação | |
|---|---|---|
| 2018 - 2023 | Núcleo de Estudantes de Matemática do Instituto Superior Técnico | Membro das equipas de Educação, Recreativa e Design, coordenador desta última no ano letivo 2019/2020 |
Membro de comissão
| Descrição da atividade Tipo de participação |
Instituição / Organização | |
|---|---|---|
| 2018 - Atual | Membro do Comité Cientifico das Olimpiadas Nacionais de Informática, sendo autor ou coautor dos seguintes problemas: Qualificação: 2020 - B; 2023 - A, C; 2024 - A; 2025 - A, D; Final: 2023 - C; 2024 - C; Prova de Seleção: 2021 - D; 2023 - B; 2024 - D. Deputy Leader da delegação portuguesa nas Olimpíadas Internacionais de Informática 2023, na Hungria |
Outro júri / avaliação
| Descrição da atividade | Instituição / Organização | |
|---|---|---|
| 2024/09 - 2024/11 | Membro do Jurí do International Collegiate Programming Contest SouthwesternEurope Regional Contest (ICPC SWERC) | Universidade de Lisboa Instituto Superior Técnico, Portugal |
Distinções
Prémio
| 2025 | BOLSA DE ESTUDO POR MÉRITO
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
| 2023 | Diploma de Mérito Académico
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
| 2023 | 1º Lugar no Cloudflight Coding Contest Lisboa |
| 2021 | 3º Lugar na Maratona Inter-Universitária de Programação |
| 2020 | Medalha de Bronze (8º Lugar) no International Collegiate Programming Contest Southwestern Europe Regional Contest |
| 2019 | 1º Lugar na Maratona Inter-Universitária de Programação
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
| 2019 | Medalha de Bronze nas Olimpíadas Iberoamericanas de Matemática Universitárias |
| 2018 | 1º Lugar na Maratona Inter-Universitária de Programação
Universidade da Beira Interior, Portugal
|
| 2018 | Medalha de Ouro nas Olimpíadas Iberoamericanas de Matemática Universitárias |
| 2017 | Medalha de Ouro nas Olimpíadas Portuguesas de Matemática
Sociedade Portuguesa de Matemática, Portugal
|
| 2017 | 1º Lugar na Maratona Inter-Universitária de Programação
Universidade do Minho, Portugal
|
| 2017 | Medalha de Bronze nas Olimpíadas Internacionais de Matemática |
| 2017 | Medalha de Bronze nas Olimpíadas Internacionais de Informática |
| 2017 | Medalha de Ouro nas Olimpíadas Iberoamericanas de Matemática |
| 2017 | 1º Lugar nas Olimpíadas Nacionais de Informática
Universidade do Porto Faculdade de Ciências, Portugal
|
| 2017 | 1º Lugar Nacional no Canguru Matemático sem Fronteiras |
| 2017 | Medalha de Ouro nas Olimpíadas Paulistas de Matemática |
| 2017 | Medalha de Bronze nas Olimpíadas Iberoamericanas de Matemática Universitárias |
| 2017 | Medada de Prata no Concurso Iberoamericano de Informática por Correspondência |
| 2016 | Medalha de Ouro nas Olimpíadas Portuguesas de Matemática
Sociedade Portuguesa de Matemática, Portugal
|
| 2016 | 1º Lugar Nacional no Canguru Matemático sem Fronteiras |
| 2016 | Menção Honrosa nas Olimpíadas Internacionais de Matemática |
| 2016 | Medalha de Bronze nas Olimpíadas Paulistas de Matemática |
| 2016 | Menção Honrosa na Final Nacional Olimpíadas de Física
Sociedade Portuguesa de Física, Portugal
|
| 2016 | Menção Honrosa na fase Regional das Olimpíadas de Física
Sociedade Portuguesa de Física, Portugal
|
| 2016 | Medalha de Prata na Semifinal das Olimpíadas de Química
Sociedade Portuguesa de Química, Portugal
|
| 2016 | 2º Lugar nas Olimpíadas Nacionais de Informática |
| 2016 | Medada de Prata no Concurso Iberoamericano de Informática por Correspondência |
| 2015 | Medalha de Prata nas Olimpíadas Portuguesas de Matemática
Sociedade Portuguesa de Matemática, Portugal
|
| 2015 | 2º Lugar Nacional no Canguru Matemático sem Fronteiras |
| 2015 | Medalha de Prata nas Olimpíadas Paulistas de Matemática |
| 2014 | Medalha de Ouro nas Olimpíadas Portuguesas de Matemática
Sociedade Portuguesa de Matemática, Portugal
|
| 2014 | 1º Lugar Nacional no Canguru Matemático sem Fronteiras |
| 2014 | Medalha de Ouro nas Olimpíadas de Maio |
| 2013 | Medalha de Bronze nas Olimpíadas Portuguesas de Matemática |
| 2013 | Medalha de Bronze nas Olimpíadas Paulistas de Matemática |
| 2012 | Medalha de Prata nas Olimpíadas Portuguesas de Matemática
Sociedade Portuguesa de Matemática, Portugal
|
| 2012 | 3º Lugar Nacional no Canguru Matemática sem Fronteiras |