Identificação
Identificação pessoal
- Nome completo
- Ana Catarina Lopes Carvalho Sousa
Nomes de citação
- Sousa, Ana Catarina
Identificadores de autor
- Ciência ID
- 8B17-243B-9170
- ORCID iD
- 0000-0002-5352-4807
Endereços de correio eletrónico
- id10275@uminho.pt (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
Formação
Grau | Classificação | |
---|---|---|
2021/10 - 2025
Em curso
|
Doctoral Program in Applied Mathematics (Doutoramento)
Universidade do Minho, Portugal
"Proof Search in Natural Deduction" (TESE/DISSERTAÇÃO)
|
19 / 20 (Curricular Part Grade) |
2019/11 - 2022/01
Concluído
|
Master's Degree in Mathematics (Mestrado)
Universidade do Minho, Portugal
"Sistemas Dedutivos para Lógica Quântica Minimal" (TESE/DISSERTAÇÃO)
|
17 / 20 |
2016/09 - 2019/07
Concluído
|
Bachelor's Degree in Software Engineering (Licenciatura)
Universidade do Minho, Portugal
|
14 / 20 |
2015 - 2016
Frequentou
|
Bachelor's Degree in Mathematics (Licenciatura)
Universidade do Minho, Portugal
|
|
2014 - 2016
Frequentou
|
Bachelor's Degree in Economics (Licenciatura)
Universidade do Porto Faculdade de Economia, Portugal
|
Projetos
Bolsa
Designação | Financiadores | |
---|---|---|
2023/01/01 - Atual | Proof Search in Natural Deduction
2022.11418.BD
Bolseiro de Doutoramento
Universidade do Minho Centro de Matemática, Portugal
|
Fundação para a Ciência e a Tecnologia
Em curso
|
2022/01/02 - 2022/12/31 | Proof Search in Natural Deduction
UMINHO/BID/2021/127
Bolseiro de Doutoramento
Universidade do Minho Centro de Matemática, Portugal
|
Em curso
|
2021/07/01 - 2021/12/31 | Sistemas Dedutivos para Lógica Quântica Minimal
UMINHO/BIM/2021/63
Bolseiro de Investigação
Universidade do Minho Centro de Matemática, Portugal
|
Concluído
|
Produções
Publicações
Capítulo de livro |
|
Poster em conferência |
|
Tese / Dissertação |
|
Atividades
Apresentação oral de trabalho
Título da apresentação | Nome do evento Anfitrião (Local do evento) |
|
---|---|---|
2023/02/15 | Proof Search in Natural Deduction | School of Advanced Science on Contemporary Logic, Rationality and Information
CLE – Centro de Lógica, Epistemologia e História da Ciência - Universidade de Campinas (Campinas, Brasil)
|
2022/12 | Proof Search in Natural Deduction: towards human-centered theorem proving | ALC Meeting 2022
CMAT - University of Minho (Portugal)
|
2021/12/20 | Minimal Quantum Logic: a brief comparison with Classical Logic | ALC Meeting 2021
CMAT - Universidade do Minho
|
Participação em evento
Descrição da atividade Tipo de evento |
Nome do evento Instituição / Organização |
|
---|---|---|
2023/03 - 2023/03 | CMAT LAbs Fest 2023
Conferência
|
CMAT LAbs Fest 2023
Universidade do Minho Centro de Matemática, Portugal
|
2023/02 - 2023/02 | School of Advanced Science on Contemporary Logic, Rationality and Information
Conferência
|
School of Advanced Science on Contemporary Logic, Rationality and Information
Universidade Estadual de Campinas Instituto de Filosofia e Ciências Humanas, Brasil
|
2022/01/15 - 2022/01/15 | World Logic Day 2022
Conferência
|
World Logic Day 2022
Universidade Nova de Lisboa, Portugal
|
2021/09 - 2021/10 | Autumn School "Proof and Computation"
Conferência
|
Autumn School "Proof and Computation"
Ludwig Maximilians Universität München Fakultät für Mathematik Informatik und Statistik, Alemanha
|
2021 - 2021 | National Meeting of the Portuguese Mathematical Society 2021
Conferência
|
ENSPM 2021
Sociedade Portuguesa de Matemática, Portugal
|
2018 - 2018 | ENEMath 2018 - National Meeting of Mathematics Students
Encontro
|
ENEMath 2018
Universidade de Aveiro, Portugal
|
2017 - 2017 | ENEMath 2017 - National Meeting of Mathematics Students
Encontro
|
ENEMath 2017
Universidade de Coimbra, Portugal
|
Distinções
Prémio
2015 | Best application grade of Bachelor’s Degree in Mathematics (19.12/20)
Universidade do Minho, Portugal
|