Curriculum Vitae
Ana Catarina Sousa
Identificação
Identificação pessoal
- Nome completo
- Ana Catarina Lopes Carvalho Sousa
- Género
- Feminino
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
- acsousa@fe.up.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 - 2026/03
Concluído
|
Doctoral Program in Applied Mathematics (Doutoramento)
Universidade do Minho, Portugal
"Proof Search in Natural Deduction" (TESE/DISSERTAÇÃO)
|
19 / 20 (Curricular Part Grade) Very Good (Thesis) |
|
2014 - 2024
Concluído
|
Bachelor's Degree in Economics (Licenciatura)
Universidade do Porto Faculdade de Economia, Portugal
|
|
|
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
|
Percurso profissional
Ciência
| Categoria Profissional Instituição de acolhimento |
Empregador | |
|---|---|---|
| 2026/04 - Atual | Investigador (Investigação) | Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal |
| 2021/07 - 2026/03 | Investigador (Investigação) | Universidade do Minho Centro de Matemática, Portugal |
Docência no Ensino Superior
| Categoria Profissional Instituição de acolhimento |
Empregador | |
|---|---|---|
| 2024/09 - 2026/08 | Assistente Convidado (Docente Universitário) | Universidade do Porto Faculdade de Engenharia, Portugal |
Projetos
Bolsa
| Designação | Financiadores | |
|---|---|---|
| 2023/01/01 - 2025/12 | Proof Search in Natural Deduction
Bolseiro de Doutoramento
Universidade do Minho Centro de Matemática, Portugal
|
Fundação para a Ciência e a Tecnologia
Concluído
|
| 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
|
Concluído
|
| 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
| Artigo em conferência |
|
| Poster em conferência |
|
| Resumo 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) |
|
|---|---|---|
| 2025/07 | Proof Search in Classical Propositional Logic with Partial Proof Terms | WoLLIC 2025
(Porto, Portugal)
|
| 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, Estónia)
|
| 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 |
|
|---|---|---|
| 2025/06 - 2025/06 | Workshop on Reasoning with Quantitative Types |
Universidade do Porto Faculdade de Ciências, Portugal
|
| 2024/07 - 2024/07 | Logic Mentoring Workshop
Oficina (workshop)
|
Logic Mentoring Workshop
Tallinna Ülikool, Estónia
|
| 2024/07 - 2024/07 | Women in Logic Workshop
Oficina (workshop)
|
Women in Logic Workshop
Tallinna Ülikool, Estónia
|
| 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
|
Curso / Disciplina lecionado
| Disciplina | Curso (Tipo) | Instituição / Organização | |
|---|---|---|---|
| 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 |
Distinções
Prémio
| 2015 | Best application grade of Bachelor’s Degree in Mathematics (19.12/20)
Universidade do Minho, Portugal
|