Curriculum Vitae
André da Cruz Carvalho
Identification
Personal identification
- Full name
- André da Cruz Carvalho
Citation names
- André Carvalho
Author identifiers
- Ciência ID
- 2A15-4B52-F11C
- ORCID iD
- 0000-0003-1585-9443
Email addresses
- andrecruzcarvalho@gmail.com (Professional)
Websites
- https://sites.google.com/view/acarvalho (Professional)
Knowledge fields
- Exact Sciences - Mathematics - Pure Mathematics
- Exact Sciences - Computer and Information Sciences - Computer Sciences
- Exact Sciences - Computer and Information Sciences - Information Science
Languages
| Language | Speaking | Reading | Writing | Listening | Peer-review |
|---|---|---|---|---|---|
| Portuguese (Mother tongue) | |||||
| English | Advanced (C1) | Proficiency (C2) | Advanced (C1) | Advanced (C1) | Advanced (C1) |
| French | Beginner (A1) | Upper intermediate (B2) | |||
| Spanish; Castilian | Beginner (A1) | Intermediate (B1) | Intermediate (B1) |
Education
| Degree | Classification | |
|---|---|---|
|
2019 - 2023
Concluded
|
Matemática (Doutoramento)
Major in Sem especialidade
Universidade do Porto Faculdade de Ciências, Portugal
"Structure, algorithmics and dynamics of endomorphisms for certain classes of groups
" (THESIS/DISSERTATION)
|
|
|
2014 - 2016
Concluded
|
Matemática (Mestrado)
Major in Área de especialização: Sem indicação de especialização - Dissertação
Universidade do Porto Faculdade de Ciências, Portugal
"Frankl Conjecture" (THESIS/DISSERTATION)
|
|
|
2011 - 2014/09/03
Concluded
|
Matemática (Licenciatura)
Major in Matemática
Universidade do Porto Faculdade de Ciências, Portugal
|
17 valores |
Affiliation
Science
| Category Host institution |
Employer | |
|---|---|---|
| 2024/01/08 - 2024/12/31 | Researcher (Research) | Universidade do Porto Faculdade de Ciências, Portugal |
| 2023/06 - 2024/01 | Postdoc (Research) | Associação para a Inovação e Desenvolvimento da FCT, Portugal |
| Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal |
Teaching in Higher Education
| Category Host institution |
Employer | |
|---|---|---|
| 2026/01/02 - Current | Assistant Professor (University Teacher) | Universidade de Évora, Portugal |
| Universidade de Évora Escola de Ciências e Tecnologia, Portugal | ||
| 2025/02/01 - 2025/07/31 | Invited Assistant Professor (University Teacher) | Universidade do Porto Faculdade de Ciências, Portugal |
| 2018/10 - 2019 | Invited Assistant (Polytechnic Teacher) | Instituto Politécnico do Porto Escola Superior de Saúde, Portugal |
| Instituto Politécnico do Porto Escola Superior de Saúde, Portugal | ||
| 2018 - 2019 | Invited Assistant (Polytechnic Teacher) | Instituto Politécnico do Porto, Portugal |
Others
| Category Host institution |
Employer | |
|---|---|---|
| 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 |
Projects
Grant
| Designation | Funders | |
|---|---|---|
| 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
Concluded
|
| 2013/04/30 - 2013/08/30 | Bolsa inserida no projeto CANTE (PTDC/EIA-CCO/101904/2008)
PTDC/EIA-CCO/101904/2008
Scientific Initiation Fellow
Universidade do Porto Faculdade de Ciências, Portugal
|
Universidade do Porto
Concluded
|
Contract
| Designation | Funders | |
|---|---|---|
| 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
Ongoing
|
| 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
Concluded
|
| 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
Concluded
|
Outputs
Publications
| Journal article |
|
| Preprint |
|
Activities
Oral presentation
| Presentation title | Event name Host (Event location) |
|
|---|---|---|
| 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, United Kingdom)
|
| 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, Italy)
|
| 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, Spain)
|
| 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)
|
Supervision
| Thesis Title Role |
Degree Subject (Type) Institution / Organization |
|
|---|---|---|
| 2025 - Current | Algorithms in (semi)groups: algorithmics and quantification
Co-supervisor
|
PhD in Mathematics (PhD)
Universidade Nova de Lisboa, Portugal
|
| 2023/09 - 2024/05 | Cryptographic key exchange protocols: algebraic structures, Stickel's protocol and
monoid investigations
Co-supervisor of Madalena Ascensão
|
Mestrado em Matemática (Master)
Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
|
Event organisation
| Event name Type of event (Role) |
Institution / Organization | |
|---|---|---|
| 2025 - Current | Membro da Comissão Organizadora e da Comissão Científica da Theoretical and Computational
Algebra 2025 (2025)
Conference (Member of the Scientific Committee)
|
Universidade de Évora, Portugal |
| 2024 - Current | Organizer of the regular seminars for the Semigroups Automata and Languages Research
Group at CMUP (2024)
Seminar (Other)
|
Universidade do Porto Centro de Matemática, Portugal |
| 2023 - Current | Membro da comissão organizadora e da comissão científica do evento Theoretical and
Computational Algebra 2024 (2024/06/30 - 2024/07/05)
Conference
|
|
| 2026 - 2026 | Membro da Comissão Organizadora e da Comissão Científica da Theoretical and Computational
Algebra 2026 (2026 - 2026)
Conference
|
Universidade do Minho, Portugal |
| 2025/03/24 - 2025/03/26 | Co-organizador do 93rd Séminaire Lotharingien de Combinatoire (2025/03/24)
Conference (Co-organisor)
|
|
| 2025/03/03 - 2025/03/04 | Membro da Comissão Científica e da Comissão Organizadora da 2nd Semigroup Journey (2025/03/03)
Conference (Member of the Scientific Committee)
|
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)
Conference
|
|
| 2023 - 2023 | Organizer of the regular seminars of the Algebra and Logic Research Group at NOVAMath (2023 - 2023)
Seminar (Co-organisor)
|
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)
Meeting
|
Universidade do Porto Faculdade de Ciências, Portugal |
Event participation
| Activity description Type of event |
Event name Institution / Organization |
|
|---|---|---|
| 2025 - Current | Participação na conferência "2nd Semigroup Journey"
Conference
|
2nd Semigroup Journey
Universidade do Algarve, Portugal
|
| 2024/02/01 - 2024/02/02 | Participação na Conferência 1st Semigroup Journey
Conference
|
1st Semigroup Journey |
| 2024 - 2024 | Participação na conferência "Theoretical and Computational Algebra 2024"
Conference
|
Theoretical and Computational Algebra 2024 |
| 2024 - 2024 | Participação no Encontro Nacional da Sociedade Portuguesa de Matemática
Meeting
|
Encontro Nacional da Sociedade Portuguesa de Matemática |
| 2024 - 2024 | Participação no 2nd AMS-UMI International Joint Meeting
Conference
|
2nd AMS-UMI International Joint Meeting
American Mathematical Society, United States
Unione Matematica Italiana, Italy |
| 2023/09/24 - 2023/09/29 | Participação no 10º Heidelberg Laureate Forum
Congress
|
10º Heidelberg Laureate Forum |
| 2023/07/02 - 2023/07/07 | Participação na conferência Theoretical and Computational Algebra 2023
Conference
|
Theoretical and Computational Algebra 2023 |
| 2023/05/04 - 2023/05/06 | Participação no XVI Barcelona Weekend in Group Theory
Conference
|
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",
Conference
|
Hyperbolic groups and their generalisations |
| 2022/06/03 - 2022/06/04 | Participação no XV Barcelona Weekend in Group Theory
Conference
|
XV Barcelona Weekend in Group Theory |
| 2021/08/16 - 2021/08/20 | Participação no Developments in Language Theory (DLT) 2021
Conference
|
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
Exhibition
|
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
|
Association member
| Society Organization name | Role | |
|---|---|---|
| 2024 - Current | European Mathematical Society Young Academy |
Conference scientific committee
| Conference name | Conference host | |
|---|---|---|
| 2025 - 2025 | Theoretical and Computational Algebra 2025 | Évora |
| 2024 - 2024 | Theoretical and Computational Algebra 2024 | Aveiro |
Course / Discipline taught
| Academic session | Degree Subject (Type) | Institution / Organization | |
|---|---|---|---|
| 2025/02/01 - Current | Álgebra Linear e Geometria Analítica II | (Licenciatura) | Universidade do Porto Faculdade de Ciências, Portugal |
| 2024/02 - Current | 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 - Current | 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 |
Journal scientific committee
| Journal title (ISSN) | Publisher | |
|---|---|---|
| 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 |
Mentoring / Tutoring
| Topic | Student name | |
|---|---|---|
| 2023 - 2024 | Algebraic-based Cryptographic Systems (within a Targeted Research Project funded by NOVA Math) | Madalena Ascensão |
Other jury / evaluation
| Activity description | Institution / Organization | |
|---|---|---|
| 2024/01 - 2024/01 | Jury of a post-doctoral grant | Universidade Nova Centro de Matemática e Aplicações, Portugal |
Scientific expedition
| Activity description | Institution / Organization | |
|---|---|---|
| 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 |
Distinctions
Award
| 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
|
Title
| 2024 | Selected to be a Member of the European Mathematical Society Young Academy (EMYA)
European Mathematical Society, Finland
|
Other distinction
| 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
|