???global.info.a_carregar???
Identification

Personal identification

Full name
Ana Catarina Lopes Carvalho Sousa
Gender
Female

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)
  • acsousa@fe.up.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)
2014 - 2024
Concluded
 Bachelor's Degree in Economics (Licenciatura)
Universidade do Porto Faculdade de Economia, Portugal
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
Affiliation

Teaching in Higher Education

Category
Host institution 		Employer
2024/09 - Current Invited Assistant (University Teacher) Universidade do Porto Faculdade de Engenharia, 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 paper
  1. Sousa, Ana Catarina; José Espírito Santo. "Proof Search in Classical Propositional Logic with Partial Proof Terms". Paper presented in WoLLIC 2025, Porto, 2025.
    Accepted
  2. José Espírito Santo; Sousa, Ana Catarina. "Partial Proof Terms in the Study of Idealized Proof Search". 2024.
    10.1007/978-3-031-66997-2_16
Conference poster
  1. Sousa, Ana Catarina. "Minimal Quantum Logic: a brief comparison with Classical Logic". Paper presented in Open Day of CMAT, 2021.
Thesis / Dissertation
  1. "Sistemas Dedutivos para Lógica Quântica Minimal". Master, Universidade do Minho, 2022.
Activities

Oral presentation

Presentation title Event name
Host (Event location)
2024/09 Partial Proof Terms in the Study of Proof Search Open Day of CMAT
(Braga, Portugal)
2024/07 Partial Proof Terms in the Study of Proof Search Women in Logic Workshop
(Tallinn, Estonia)
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
2024/07 - 2024/07 Logic Mentoring Workshop
Workshop
 Logic Mentoring Workshop
Tallinna Ülikool, Estonia
2024/07 - 2024/07 Women in Logic Workshop
Workshop
 Women in Logic Workshop
Tallinna Ülikool, Estonia
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
2013 - 2013 Olimpíadas da Física (Participação nas provas do Escalão B da Etapa Regional)
Call
 Olimpíadas da Física
Universidade do Porto, Portugal
2006 - 2013 Olimpíadas Portuguesas da Matemática
Call
 Olimpíadas Portuguesas da Matemática

Course / Discipline taught

Academic session Degree Subject (Type) Institution / Organization
2025/02 - 2025/07 Theory of Computation BSc. in Informatics and Computing Engineering (Licenciatura) Universidade do Porto Faculdade de Engenharia, Portugal
2024/09 - 2025/02 Discrete Mathematics BSc. in Informatics and Computing Engineering (Licenciatura) Universidade do Porto Faculdade de Engenharia, Portugal
Distinctions

Award

2015 Best application grade of Bachelor’s Degree in Mathematics (19.12/20)
Universidade do Minho, Portugal