Identificação
Identificação pessoal
- Nome completo
- CÉLIA MARIANA RABAÇAL BORLIDO ALMEIDA
Nomes de citação
- Célia Borlido
Identificadores de autor
- Ciência ID
- C91F-ED9E-9EE6
- ORCID iD
- 0000-0002-0114-1572
Endereços de correio eletrónico
- cborlido@mat.uc.pt (Profissional)
Moradas
- Departamento de Matemática, Universidade de Coimbra, Apartado 3008 , 3001-501, Coimbra, Coimbra, Portugal (Profissional)
Websites
- http://mat.uc.pt/~cborlido/ (Profissional)
Domínios de atuação
- Ciências Exatas - Matemática
Idiomas
Idioma | Conversação | Leitura | Escrita | Compreensão | Peer-review |
---|---|---|---|---|---|
Português (Idioma materno) | |||||
Inglês | Utilizador proficiente (C1) | Utilizador proficiente (C1) | Utilizador proficiente (C1) | Utilizador proficiente (C1) | |
Francês | Utilizador independente (B2) | Utilizador independente (B2) | Utilizador independente (B2) | Utilizador independente (B2) |
Formação
Grau | Classificação | |
---|---|---|
2011 - 2016
Concluído
|
UC|UP Joint PhD Program in Mathematics (Doutoramento)
Universidade do Porto Faculdade de Ciências, Portugal
"The word problem and some reducibility properties for pseudovarieties of the form DRH" (TESE/DISSERTAÇÃO)
|
Approved with Distinction |
2009/09 - 2010
Frequentou
|
Master in Mathematics and Applications (Mestrado)
Universidade de Lisboa Instituto Superior Técnico Departamento de Matemática, Portugal
"n/a" (TESE/DISSERTAÇÃO)
|
18/20 |
2006 - 2009
Concluído
|
Matemática (Licenciatura)
Universidade do Porto Faculdade de Ciências, Portugal
|
19/20 |
Percurso profissional
Ciência
Categoria Profissional Instituição de acolhimento |
Empregador | |
---|---|---|
2019/07/01 - Atual | Investigador (Investigação) | Universidade de Coimbra Faculdade de Ciencias e Tecnologia, Portugal |
2017/09 - 2019/06/30 | Pós-doutorado (Investigação) | Université de Nice Sophia Antipolis IUT Nice Côte d'Azur, França |
2016/06/01 - 2017/09 | Pós-doutorado (Investigação) | Université de Paris IUT Paris Diderot, França |
Docência no Ensino Superior
Categoria Profissional Instituição de acolhimento |
Empregador | |
---|---|---|
2020/02 - Atual | Monitor (Docente Universitário) | Universidade de Coimbra Centro de Matemática, Portugal |
2018/09 - 2019/06 | Monitor (Docente Universitário) | Université Côte d'Azur, França |
2009/09/01 - 2011/09/01 | Monitor (Docente Universitário) | Universidade de Lisboa Instituto Superior Técnico, Portugal |
Produções
Publicações
Artigo em conferência |
|
Artigo em revista |
|
Tese / Dissertação |
|
Atividades
Apresentação oral de trabalho
Título da apresentação | Nome do evento Anfitrião (Local do evento) |
|
---|---|---|
2023/11/28 | The principle of duality | Seminar of the PhD Program in Mathematics
Departamento de Matemática, Universidade do Porto (online)
|
2023/10/12 | Extending Stone duality along full embeddings | Workshop A day on pointfree topology
Departamento de Matemática, Universidade de Coimbra
|
2023/01/24 | Pervin spaces and Frith frames: bitopological aspects and completion | Seminar Algebra, Logic and Topology
Departamento de Matemática, Universidade de Coimbra
|
2022/11/30 | Duality: from theory to applications | Seminar of the PhD Program in Mathematics
Departamento de Matemática, Universidade de Coimbra
|
2022/09/17 | Transitive and totally bounded quasi-uniformities on frames | AMS Fall Central Sectional Meeting
University of Texas (online)
|
2022/06/21 | Difference-restriction algebras of partial functions: axiomatizations and representation | TACL - Topology, Algebra, and Categories in Logic
Departamento de Matemática, Universidade de Coimbra
|
2022/05/18 | Difference-restriction algebras of partial functions with operators: discrete duality | Workshop Duality and more
Laboratoire J.A. Dieudonné, Université Côte d'Azur
|
2022/03/28 | A discrete duality for algebras of partial functions for a foundational signature | Category Theory Seminar
Departamento de Matemática, Universidade de Coimbra
|
2021/11/21 | Semidirect products, monoids and categories | Dualité de Stone, langages formels et logique seminar
Laboratoire J. A. Dieudonné, Université Côte d'Azur
|
2021/10/29 | Algebras of partial functions for a foundational signature | Seminar on Semigroups, Automata and Languages
Centro de Matemática, Universidade do Porto (Porto (online), Portugal)
|
2021/06/12 | Extending Stone-Priestley duality along full embeddings | BLAST - Boolean Algebras; Lattices, Algebraic and Quantum logic; Universal Algebra; Set Theory; Set-theoretic and Point-free
Topology
New Mexico State University (Las Cruces (online), Estados Unidos)
|
2020/03/05 | Stone duality and the substitution principle | Seminar MOVE : Modélisation et Vérification
Laboratoire d'Informatique et Systèmes, Université d'Aix-Marseille
|
2019/09/17 | Contravariant power constructions | XII Portuguese Category Seminar
Departamento de Matemática da Universidade de Coimbra (Portugal)
|
2019/06/21 | Difference hierarchies over lattices | Topology, Algebra, and Categories in Logic (TACL 2019)
Laboratoire J. A. Dieudonné, Université Côte d’Azur (França)
|
2018/10/31 | Difference hierarchies and duality | Algebra-Coalgebra seminar
Institute for Logic, Language and Computation, University of Amsterdam
|
2018/09/28 | Difference hierarchies over lattices | Algebra, Logic and Topology
Faculdade de Ciências da Universidade de Coimbra (Portugal)
|
2018/09/11 | Stone duality and the Substitution Principle | Workshop Quantifiers and Duality
Institut de Recherche en Informatique Fondamentale (França)
|
2018/07/12 | Stone duality and the Substitution Principle | International Conference on Semigroups (ICS 2018)
Faculdade de Ciências da Universidade de Lisboa (Portugal)
|
2018/07/09 | Profinite semigroups in formal language theory | Encontro Nacional da Sociedade Portuguesa de Matemática
Instituto Politécnico de Bragança (Portugal)
|
2018/07/06 | An Eilenberg-like Theorem beyond regular languages | Algebra, Logic and Topology seminar
Faculdade de Ciências da Universidade de Coimbra
|
2018/05/25 | An Eilenberg-like Theorem beyond regular languages | CEMAT seminar
Faculdade de Ciências da Universidade de Lisboa
|
2017/08/21 | Stone duality and the substitution principle | Computer Science Logic (CSL 2017)
Stockholm University (Suécia)
|
2017/05/05 | Stone duality and the substitution principle | Semigroup, automata and languages seminar
Faculdade de Ciências da Universidade do Porto
|
2017/02/20 | Duality theory in the study of formal languages | Semigroup, automata and languages seminar
Faculdade de Ciências da Universidade do Porto
|
2016/06/22 | The kappa-word problem over pseudovarieties of the form DRH | International Conference on Semigroups and Automata (CSA 2016)
Faculdade de Ciências da Universidade de Lisboa
|
2016/03/10 | The kappa-word problem over DRG | Research Seminar Program
Faculdade de Ciências da Universidade de Coimbra
|
2016/01/27 | The word problem and some reducibility properties for pseudovarieties of the from DRH | DuaLL seminar
Institut de Recherche en Informatique Fondamentale
|
Organização de evento
Nome do evento Tipo de evento (Tipo de participação) |
Instituição / Organização | |
---|---|---|
2023 - 2024 | Member of the Organizing Committee of the 38th Summer Conference on Topology and Applications (2024/07/08 - 2024/07/12) | |
2022 - 2023 | Member of the Programme Committee of the conference Wollic (30th Workshop on Logic, Language, Information and Computation) (2023/06/10 - 2023/06/13) | |
2021 - 2022 | Member of the Organizing Committee of the conference Topology, Algebra, and Categories in Logic (TACL 2021-22) and of the
affiliated summer school (2022/06/13 - 2022/06/24)
Conferência (Membro da Comissão Organizadora)
|
Universidade de Coimbra Centro de Matemática, Portugal |
2018 - 2019 | Member of the Organizing Committee of the conference Topology, Algebra, and Categories in Logic (TACL 2019) and of the affiliated
summer school (2019/06/10 - 2019/06/21)
Conferência (Membro da Comissão Organizadora)
|
Laboratoire Jean-Alexandre Dieudonné, França |
Júri de grau académico
Tema Tipo de participação |
Nome do candidato (Tipo de grau) Instituição / Organização |
|
---|---|---|
2022/12 | Schützenberger groups of minimal shift spaces | Herman Goulet-Ouellet (Doutoramento) |
2022/06 | A study of localic subspaces, separation, and variants of normality and their duals | Igor Arrieta Torres (Doutoramento) |
Consultoria / Parecer
Descrição da atividade | Instituição / Organização | |
---|---|---|
2021 - 2021 | Took part in the evaluation process of the Generic Call 2021 of the French National Research Agency (ANR – Agence Nationale de la Recherche) as a scientific expert. |
Membro de comissão
Descrição da atividade Tipo de participação |
Instituição / Organização | |
---|---|---|
2019/10 - Atual | Problem Selection Committee of the Portuguese Mathematical Olympiad |
Tutoria
Tópico | Nome do aluno | |
---|---|---|
2023/02 - 2023/04 | Diversos olhares sobre os inteiros profinitos | Beatriz Ferreira |
Distinções
Prémio
2018 | Fundação Eng. António de Almeida
Universidade do Porto Faculdade de Ciências, Portugal
|