Curriculum Vitae
Ana Catarina Lopes Carvalho Sousa
Identification
Personal identification
- Full name
- Ana Catarina Lopes Carvalho Sousa
Citation names
- Sousa, Ana Catarina
Author identifiers
- Ciência ID
- 8B17-243B-9170
- ORCID iD
- 0000-0002-5352-4807
Email addresses
- id10275@uminho.pt (Professional)
Knowledge fields
- Exact Sciences - Mathematics - Pure Mathematics
- Exact Sciences - Computer and Information Sciences - Computer Sciences
Education
| Degree | Classification | |
|---|---|---|
|
2021/10 - 2025
Ongoing
|
Doctoral Program in Applied Mathematics (Doutoramento)
Universidade do Minho, Portugal
"Proof Search in Natural Deduction" (THESIS/DISSERTATION)
|
19 / 20 (Curricular Part Grade) |
|
2019/11 - 2022/01
Concluded
|
Master's Degree in Mathematics (Mestrado)
Universidade do Minho, Portugal
"Sistemas Dedutivos para Lógica Quântica Minimal" (THESIS/DISSERTATION)
|
17 / 20 |
|
2016/09 - 2019/07
Concluded
|
Bachelor's Degree in Software Engineering (Licenciatura)
Universidade do Minho, Portugal
|
14 / 20 |
|
2015 - 2016
Attended
|
Bachelor's Degree in Mathematics (Licenciatura)
Universidade do Minho, Portugal
|
|
|
2014 - 2016
Attended
|
Bachelor's Degree in Economics (Licenciatura)
Universidade do Porto Faculdade de Economia, Portugal
|
Projects
Grant
| Designation | Funders | |
|---|---|---|
| 2023/01/01 - Current | Proof Search in Natural Deduction
2022.11418.BD
PhD Student Fellow
Universidade do Minho Centro de Matemática, Portugal
|
Fundação para a Ciência e a Tecnologia
Ongoing
|
| 2022/01/02 - 2022/12/31 | Proof Search in Natural Deduction
UMINHO/BID/2021/127
PhD Student Fellow
Universidade do Minho Centro de Matemática, Portugal
|
Ongoing
|
| 2021/07/01 - 2021/12/31 | Sistemas Dedutivos para Lógica Quântica Minimal
UMINHO/BIM/2021/63
Research Fellow
Universidade do Minho Centro de Matemática, Portugal
|
Concluded
|
Outputs
Publications
| Conference poster |
|
| Thesis / Dissertation |
|
Activities
Oral presentation
| Presentation title | Event name Host (Event location) |
|
|---|---|---|
| 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, Brazil)
|
| 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
|
Event participation
| Activity description Type of event |
Event name Institution / Organization |
|
|---|---|---|
| 2023/03 - 2023/03 | CMAT LAbs Fest 2023
Conference
|
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
Conference
|
School of Advanced Science on Contemporary Logic, Rationality and Information
Universidade Estadual de Campinas Instituto de Filosofia e Ciências Humanas, Brazil
|
| 2022/01/15 - 2022/01/15 | World Logic Day 2022
Conference
|
World Logic Day 2022
Universidade Nova de Lisboa, Portugal
|
| 2021/09 - 2021/10 | Autumn School "Proof and Computation"
Conference
|
Autumn School "Proof and Computation"
Ludwig Maximilians Universität München Fakultät für Mathematik Informatik und Statistik, Germany
|
| 2021 - 2021 | National Meeting of the Portuguese Mathematical Society 2021
Conference
|
ENSPM 2021
Sociedade Portuguesa de Matemática, Portugal
|
| 2018 - 2018 | ENEMath 2018 - National Meeting of Mathematics Students
Meeting
|
ENEMath 2018
Universidade de Aveiro, Portugal
|
| 2017 - 2017 | ENEMath 2017 - National Meeting of Mathematics Students
Meeting
|
ENEMath 2017
Universidade de Coimbra, Portugal
|
Distinctions
Award
| 2015 | Best application grade of Bachelor’s Degree in Mathematics (19.12/20)
Universidade do Minho, Portugal
|