Curriculum Vitae
André da Cruz Carvalho
Identificação
Identificação pessoal
- Nome completo
- André da Cruz Carvalho
Nomes de citação
- André Carvalho
Identificadores de autor
- Ciência ID
- 2A15-4B52-F11C
- ORCID iD
- 0000-0003-1585-9443
Endereços de correio eletrónico
- andrecruzcarvalho@gmail.com (Profissional)
Websites
- https://sites.google.com/view/acarvalho (Profissional)
Domínios de atuação
- Ciências Exatas - Matemática - Matemática Pura
- Ciências Exatas - Ciências da Computação e da Informação - Ciências da Computação
- Ciências Exatas - Ciências da Computação e da Informação - Ciências da Informação
Idiomas
| Idioma | Conversação | Leitura | Escrita | Compreensão | Peer-review |
|---|---|---|---|---|---|
| Português (Idioma materno) | |||||
| Inglês | Utilizador proficiente (C1) | Utilizador proficiente (C2) | Utilizador proficiente (C1) | Utilizador proficiente (C1) | Utilizador proficiente (C1) |
| Francês | Utilizador elementar (A1) | Utilizador independente (B2) | |||
| Espanhol; Castelhano | Utilizador elementar (A1) | Utilizador independente (B1) | Utilizador independente (B1) |
Formação
| Grau | Classificação | |
|---|---|---|
|
2019 - 2023
Concluído
|
Matemática (Doutoramento)
Especialização em Sem especialidade
Universidade do Porto Faculdade de Ciências, Portugal
"Structure, algorithmics and dynamics of endomorphisms for certain classes of groups
" (TESE/DISSERTAÇÃO)
|
|
|
2014 - 2016
Concluído
|
Matemática (Mestrado)
Especialização em Área de especialização: Sem indicação de especialização - Dissertação
Universidade do Porto Faculdade de Ciências, Portugal
"Frankl Conjecture" (TESE/DISSERTAÇÃO)
|
|
|
2011 - 2014/09/03
Concluído
|
Matemática (Licenciatura)
Especialização em Matemática
Universidade do Porto Faculdade de Ciências, Portugal
|
17 valores |
Percurso profissional
Ciência
| Categoria Profissional Instituição de acolhimento |
Empregador | |
|---|---|---|
| 2024/01/08 - 2024/12/31 | Investigador (Investigação) | Universidade do Porto Faculdade de Ciências, Portugal |
| 2023/06 - 2024/01 | Pós-doutorado (Investigação) | Associação para a Inovação e Desenvolvimento da FCT, Portugal |
| Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal |
Docência no Ensino Superior
| Categoria Profissional Instituição de acolhimento |
Empregador | |
|---|---|---|
| 2026/01/02 - Atual | Professor Auxiliar (Docente Universitário) | Universidade de Évora, Portugal |
| Universidade de Évora Escola de Ciências e Tecnologia, Portugal | ||
| 2025/02/01 - 2025/07/31 | Professor Auxiliar Convidado (Docente Universitário) | Universidade do Porto Faculdade de Ciências, Portugal |
| 2018/10 - 2019 | Assistente convidado (Docente Ensino Superior Politécnico) | Instituto Politécnico do Porto Escola Superior de Saúde, Portugal |
| Instituto Politécnico do Porto Escola Superior de Saúde, Portugal | ||
| 2018 - 2019 | Assistente convidado (Docente Ensino Superior Politécnico) | Instituto Politécnico do Porto, Portugal |
Outros
| Categoria Profissional Instituição de acolhimento |
Empregador | |
|---|---|---|
| 2019/09 - 2023/04 | Bolseiro de doutoramento | Fundação para a Ciência e a Tecnologia, Portugal |
| Universidade do Porto Faculdade de Ciências, Portugal | ||
| 2019/02/04 - 2019/09 | Configurador de produtos de seguros | i2S Informática, Sistemas e Serviços S.A., Portugal |
| 2017/02 - 2019/02 | Analista | Sonae MC, Portugal |
| 2016/09/05 - 2016/09/09 | Monitor da Escola de Verão de Matemática 2016 | Universidade do Porto Faculdade de Ciências, Portugal |
| Universidade do Porto Faculdade de Ciências, Portugal | ||
| 2015/08/31 - 2015/09/04 | Monitor da Escola de Verão de Matemática 2015 | Universidade do Porto Faculdade de Ciências, Portugal |
| Universidade do Porto Faculdade de Ciências, Portugal |
Projetos
Bolsa
| Designação | Financiadores | |
|---|---|---|
| 2019/10/01 - 2023/04/28 | Structure, algorithmics and dynamics of endomorphisms for certain classes of groups
SFRH/BD/145313/2019
Universidade do Porto Faculdade de Ciências, Portugal
|
Fundação para a Ciência e a Tecnologia
Concluído
|
| 2013/04/30 - 2013/08/30 | Bolsa inserida no projeto CANTE (PTDC/EIA-CCO/101904/2008)
PTDC/EIA-CCO/101904/2008
Bolseiro de Iniciação Científica
Universidade do Porto Faculdade de Ciências, Portugal
|
Universidade do Porto
Concluído
|
Projeto
| Designação | Financiadores | |
|---|---|---|
| 2021/01/01 - 2025/12/31 | Laboratório Associado de Sistemas Inteligentes
LA/P/0104/2020
Universidade do Porto Faculdade de Ciências, Portugal
Universidade de Aveiro Instituto de Engenharia Eletrónica e Informática de Aveiro, Portugal Universidade de Aveiro Centro de Tecnologia Mecânica e Automação, Portugal Universidade do Minho Centro ALGORITMI, Portugal Instituto Politécnico do Porto Centro de Investigação em Sistemas Computacionais Embebidos e de Tempo-Real, Portugal Instituto Politécnico do Porto Grupo de Investigação em Engenharia e Computação Inteligente para a Inovação e o Desenvolvimento, Portugal Universidade de Coimbra, Portugal Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal Universidade do Porto Faculdade de Engenharia, Portugal Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal Universidade do Minho Instituto de Polímeros e Compósitos, Portugal Universidade Nova de Lisboa, Portugal Universidade de Aveiro, Portugal Universidade Nova de Lisboa Unidade de Investigação e Desenvolvimento em Engenharia Mecânica e Industrial, Portugal Universidade Nova de Lisboa Centro de Tecnologias e Sistemas, Portugal Universidade de Coimbra Centro de Informática e Sistemas, Portugal Universidade do Porto Centro de Matemática, Portugal Universidade do Minho, Portugal Instituto Politécnico do Cávado e do Ave, Portugal |
Fundação para a Ciência e a Tecnologia
Em curso
|
| 2020/01/01 - 2024/12/31 | Centro de Matemática e Aplicações
UIDB/00297/2020
Universidade Nova de Lisboa, Portugal
Universidade Nova de Lisboa NOVAMath, Portugal Universidade Nova de Lisboa Associação para a Inovação e Desenvolvimento da FCT, Portugal |
Fundação para a Ciência e a Tecnologia
Concluído
|
| 2021/11 - 2024/12 | Centre of Mathematics of the University of Porto
UIDP/00144/2020
Universidade do Porto Centro de Matemática, Portugal
Universidade do Porto Faculdade de Ciências, Portugal |
Fundação para a Ciência e a Tecnologia
Concluído
|
Produções
Publicações
| Artigo em revista |
|
| Pré-impressão |
|
Atividades
Apresentação oral de trabalho
| Título da apresentação | Nome do evento Anfitrião (Local do evento) |
|
|---|---|---|
| 2026 | TBD | Algebraic Aspects of Symbolic Dynamics 2026
Universidade do porto
|
| 2025/03/03 | Linguistic subsets of groups and epiC groups | 2nd Semigroup Journey |
| 2025 | Generalized (twisted) conjugacy separability in extensions of groups | Algebra, Logic and Topology Seminar
Universidade de Coimbra (Porto, Portugal)
|
| 2025 | Computing centralizers in [f.g. free]-by-cyclic groups | Workshop on Diophantine problems in one-relator inverse semigroups
University of East Anglia (Norwich, Reino Unido)
|
| 2025 | Geodesic languages for rational subsets and conjugates in virtually free groups, | Theoretical and Computational Algebra 2025
Universidade de Évora (Évora, Portugal)
|
| 2025 | Mini-course - Language theory and groups | Summer JIM Days
Universidade de Coimbra
|
| 2025 | Generalized conjugacy from a language-theoretical perspective | CIMA Logic, Algebra and Geometry seminars
Universidade de Évora
|
| 2025 | Generalized conjugacy from a language-theoretical perspective | CMUP Algebra, Combinatorics and Number Theory seminars
Universidade do porto
|
| 2024/07 | Subsets of groups in public-key cryptography | Special Session "Post-quantum Group-based Cryptography" of the AMS-UMI International
Joint Meeting
Unione Matematica Italiana (UMI) and the American Mathematical Society (AMS) (Palermo, Itália)
|
| 2024 | Quantifying Brinkmann's problem: relative f-order and f-spectrum | 1st Semigroup Journey
NOVA Math (Lisboa)
|
| 2024 | O problema da conjugação: generalizações e problemas relacionados | Encontros de Álgebra
Faculdade de Ciências da Universidade de Lisboa (Lisboa, Portugal)
|
| 2024 | Language theory in groups | Theoretical and Computational Algebra 2024
(Aveiro, Portugal)
|
| 2024 | On some generalizations of the conjugacy problem | National Meeting of the Portuguese Mathematical Society
(Braga, Portugal)
|
| 2023 | Subsets of groups: rational and context-free | Conference on Theoretical and Computational Algebra - Parallel session
(Pocinho)
|
| 2023 | 10h mini-course - The boundary of a free group and its endomorphisms |
iNIGMA (Porto)
|
| 2023 | Endomorphisms of groups: structure, algorithmics and dynamics | Seminar of Algebra and Logic
NOVA Math (Lisboa)
|
| 2022 | Endomorphisms of Hyperbolic Groups | Algebra, Logic and Topology Seminar
University of Coimbra Center of Mathematics (Coimbra (virtual))
|
| 2022 | Eventually fixed points of endomorphisms of virtually free groups | XV Barcelona Weekend in Group Theory
(Barcelona, Espanha)
|
| 2022 | Eventually fixed points of endomorphisms of virtually free groups | Semigroups, Automata and Languages
CMUP (Porto)
|
| 2022 | Dynamics of endomorphisms of free-abelian times free groups | World of GroupCraft II
online
|
| 2022 | Subsets of groups: rational and context-free | CMUP Informal PhD Seminar
CMUP (Porto)
|
| 2021 | Endomorphisms of the direct product of two free groups | Encontro Nacional da Sociedade Portuguesa de Matemática - Sessão paralela
Sociedade Portuguesa de Matemática
|
| 2021 | Endomorphisms of the direct product of two free groups | MAXIMALS
Heriot-Watt - online
|
| 2021 | Endomorphisms of the direct product of two free groups | Research Seminar Program (RSP)
CMUP (Porto)
|
| 2021 | Endomorphisms of Hyperbolic Groups | CMUP Informal PhD Seminar
CMUP (Porto)
|
| 2021 | Coarse Median Spaces and Groups | CMUP Informal PhD Seminar
CMUP (Porto)
|
| 2021 | Endomorphisms of Automatic Groups | Research Seminar Program (RSP)
CMUP (Porto)
|
| 2020 | Normalized Families and the Frankl Conjecture | CMUP Informal PhD Seminar
Universidade do Porto Centro de Matemática (Porto, Portugal)
|
Orientação
| Título / Tema Papel desempenhado |
Curso (Tipo) Instituição / Organização |
|
|---|---|---|
| 2025 - Atual | Algorithms in (semi)groups: algorithmics and quantification
Coorientador
|
PhD in Mathematics (Doutoramento)
Universidade Nova de Lisboa, Portugal
|
| 2023/09 - 2024/05 | Cryptographic key exchange protocols: algebraic structures, Stickel's protocol and
monoid investigations
Coorientador de Madalena Ascensão
|
Mestrado em Matemática (Mestrado)
Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
|
Organização de evento
| Nome do evento Tipo de evento (Tipo de participação) |
Instituição / Organização | |
|---|---|---|
| 2025 - Atual | Membro da Comissão Organizadora e da Comissão Científica da Theoretical and Computational
Algebra 2025 (2025)
Conferência (Membro da Comissão Científica)
|
Universidade de Évora, Portugal |
| 2024 - Atual | Organizer of the regular seminars for the Semigroups Automata and Languages Research
Group at CMUP (2024)
Seminário (Outra)
|
Universidade do Porto Centro de Matemática, Portugal |
| 2023 - Atual | Membro da comissão organizadora e da comissão científica do evento Theoretical and
Computational Algebra 2024 (2024/06/30 - 2024/07/05)
Conferência
|
|
| 2026 - 2026 | Membro da Comissão Organizadora e da Comissão Científica da Theoretical and Computational
Algebra 2026 (2026 - 2026)
Conferência
|
Universidade do Minho, Portugal |
| 2025/03/24 - 2025/03/26 | Co-organizador do 93rd Séminaire Lotharingien de Combinatoire (2025/03/24)
Conferência (Coorganizador)
|
|
| 2025/03/03 - 2025/03/04 | Membro da Comissão Científica e da Comissão Organizadora da 2nd Semigroup Journey (2025/03/03)
Conferência (Membro da Comissão Científica)
|
Universidade do Algarve, Portugal |
| 2023 - 2024 | Membro da comissão organizadora e da comissão científica do evento 1st Semigroup Journey (2024/02/01 - 2024/02/02)
Conferência
|
|
| 2023 - 2023 | Organizer of the regular seminars of the Algebra and Logic Research Group at NOVAMath (2023 - 2023)
Seminário (Coorganizador)
|
Universidade Nova Centro de Matemática e Aplicações, Portugal |
| 2015/06/10 - 2015/06/13 | Participação, Assistência na organização e suporte técnico no “Joint International
Meeting of the
American, European and Portuguese Mathematical Societies”; (2015/06/10 - 2015/06/13)
Encontro
|
Universidade do Porto Faculdade de Ciências, Portugal |
Participação em evento
| Descrição da atividade Tipo de evento |
Nome do evento Instituição / Organização |
|
|---|---|---|
| 2025 - Atual | Participação na conferência "2nd Semigroup Journey"
Conferência
|
2nd Semigroup Journey
Universidade do Algarve, Portugal
|
| 2024/02/01 - 2024/02/02 | Participação na Conferência 1st Semigroup Journey
Conferência
|
1st Semigroup Journey |
| 2024 - 2024 | Participação na conferência "Theoretical and Computational Algebra 2024"
Conferência
|
Theoretical and Computational Algebra 2024 |
| 2024 - 2024 | Participação no Encontro Nacional da Sociedade Portuguesa de Matemática
Encontro
|
Encontro Nacional da Sociedade Portuguesa de Matemática |
| 2024 - 2024 | Participação no 2nd AMS-UMI International Joint Meeting
Conferência
|
2nd AMS-UMI International Joint Meeting
American Mathematical Society, Estados Unidos
Unione Matematica Italiana, Itália |
| 2023/09/24 - 2023/09/29 | Participação no 10º Heidelberg Laureate Forum
Congresso
|
10º Heidelberg Laureate Forum |
| 2023/07/02 - 2023/07/07 | Participação na conferência Theoretical and Computational Algebra 2023
Conferência
|
Theoretical and Computational Algebra 2023 |
| 2023/05/04 - 2023/05/06 | Participação no XVI Barcelona Weekend in Group Theory
Conferência
|
XVI Barcelona Weekend in Group Theory |
| 2022/06/20 - 2022/06/24 | Participação no Workshop Hyperbolic groups and their generalisations, como parte do
evento "Groups Acting on Fractals, Hyperbolicity and Self-Similarity",
Conferência
|
Hyperbolic groups and their generalisations |
| 2022/06/03 - 2022/06/04 | Participação no XV Barcelona Weekend in Group Theory
Conferência
|
XV Barcelona Weekend in Group Theory |
| 2021/08/16 - 2021/08/20 | Participação no Developments in Language Theory (DLT) 2021
Conferência
|
Developments in Language Theory (DLT) 2021 |
| 2017/04/20 - 2017/04/23 | Expositor na 15ª Mostra da Ciência, Ensino e Inovação da Universidade do Porto | |
| 2016/03/17 - 2016/03/20 | Expositor na 14ª Mostra da Ciência, Ensino e Inovação da Universidade do Porto
Exposição
|
14ª Mostra da Ciência, Ensino e Inovação da Universidade do Porto |
| 2009 - 2009 | Participação na semifinal das Olimpíadas de Química ++ | Olimpíadas de Química ++
Universidade do Porto Faculdade de Ciências, Portugal
|
Arbitragem científica em conferência
| Nome da conferência | Local da conferência | |
|---|---|---|
| 2025 - 2025 | Theoretical and Computational Algebra 2025 | Évora |
| 2024 - 2024 | Theoretical and Computational Algebra 2024 | Aveiro |
Arbitragem científica em revista
| Nome da revista (ISSN) | Editora | |
|---|---|---|
| 2025 - 2026 | Journal of Algebra | |
| 2025 - 2025 | European Journal of Mathematics | |
| 2024 - 2024 | Semigroup Forum | |
| 2024 - 2024 | International Journal of Algebra and Computation | |
| 2024 - 2024 | Proceedings of the London Mathematical Society |
Curso / Disciplina lecionado
| Disciplina | Curso (Tipo) | Instituição / Organização | |
|---|---|---|---|
| 2025/02/01 - Atual | Álgebra Linear e Geometria Analítica II | (Licenciatura) | Universidade do Porto Faculdade de Ciências, Portugal |
| 2024/02 - Atual | Análise Real II | Licenciatura em Matemática e Licenciatura em Matemática Aplicada (Licenciatura) | Universidade do Porto Faculdade de Ciências, Portugal |
| 2018/01 - Atual | Bioestatística II | Ciências Biomédicas Laboratoriais (Licenciatura) | Instituto Politécnico do Porto Escola Superior de Saúde, Portugal |
| 2026 - 2026 | Teoria de Grupos | Licenciatura em matemática | Universidade de Évora Departamento de Matemática, Portugal |
| 2026 - 2026 | Matemática II | Universidade de Évora Departamento de Matemática, Portugal | |
| 2026 - 2026 | Estatística | Universidade de Évora Departamento de Matemática, Portugal | |
| 2024 - 2025 | Álgebra | Licenciatura em Matemática (Licenciatura) | Universidade do Porto Faculdade de Ciências, Portugal |
| 2024 - 2024 | Álgebra Fundamental | Programa Doutoral Interuniversitário em Matemática (Curso de doutoramento (conclusão de unidades curriculares)) | Universidade do Porto Faculdade de Ciências, Portugal |
| 2018/10 - 2019/01 | Bioestatística I | Imagem Médica e Radioterapia (Licenciatura) | Instituto Politécnico do Porto Escola Superior de Saúde, Portugal |
| 2018/10 - 2019/01 | Bioestatística I | Biotecnologia Medicinal (Licenciatura) | Instituto Politécnico do Porto Escola Superior de Saúde, Portugal |
| 2019/01 - 2019 | Fundamentos de Planeamento Experimental | Imagem Médica e Radioterapia (Licenciatura) | Instituto Politécnico do Porto Escola Superior de Saúde, Portugal |
Expedição científica
| Descrição da atividade | Instituição / Organização | |
|---|---|---|
| 2025 - 2025 | Retreat to work on the Diophantine problem for one-relator inverse monoids. Funded by Heilbronn | |
| 2022/06/05 - 2022/06/08 | Visita de investigação a Jordi Delgado e Enric Ventura, Universidade Politècnica da Catalunya |
Membro de associação
| Nome da associação | Tipo de participação | |
|---|---|---|
| 2024 - Atual | European Mathematical Society Young Academy |
Outro júri / avaliação
| Descrição da atividade | Instituição / Organização | |
|---|---|---|
| 2024/01 - 2024/01 | Jury of a post-doctoral grant | Universidade Nova Centro de Matemática e Aplicações, Portugal |
Tutoria
| Tópico | Nome do aluno | |
|---|---|---|
| 2023 - 2024 | Algebraic-based Cryptographic Systems (within a Targeted Research Project funded by NOVA Math) | Madalena Ascensão |
Distinções
Prémio
| 2024 | Prémio da Fundação Engenheiro António de Almeida
Fundação Engenheiro António de Almeida, Portugal
|
| 2011 | Prémio de Mérito
Ministério da Educação, Portugal
|
Título
| 2024 | Selected to be a Member of the European Mathematical Society Young Academy (EMYA)
European Mathematical Society, Finlândia
|
Outra distinção
| 2023 | Nomeado e selecionado para participar na 10º edição do Heidelberg Laureate Forum |
| 2020 | Declaração de mérito e louvor |
| 2011 | Carta de Distinção e Reconhecimento
Escola Secundária Camilo Castelo Branco, Portugal
|
| 2011 | Diploma de Mérito
Escola Secundária Camilo Castelo Branco, Portugal
|
| 2011 | Diploma de Valor e Excelência
Escola Secundária Camilo Castelo Branco, Portugal
|