Identification
Personal identification
- Full name
- CÉLIA MARIANA RABAÇAL BORLIDO ALMEIDA
Citation names
- Célia Borlido
Author identifiers
- Ciência ID
- C91F-ED9E-9EE6
- ORCID iD
- 0000-0002-0114-1572
Email addresses
- cborlido@mat.uc.pt (Professional)
Addresses
- Departamento de Matemática, Universidade de Coimbra, Apartado 3008 , 3001-501, Coimbra, Coimbra, Portugal (Professional)
Websites
- http://mat.uc.pt/~cborlido/ (Professional)
Knowledge fields
- Exact Sciences - Mathematics
Languages
Language | Speaking | Reading | Writing | Listening | Peer-review |
---|---|---|---|---|---|
Portuguese (Mother tongue) | |||||
English | Advanced (C1) | Advanced (C1) | Advanced (C1) | Advanced (C1) | |
French | Upper intermediate (B2) | Upper intermediate (B2) | Upper intermediate (B2) | Upper intermediate (B2) |
Education
Degree | Classification | |
---|---|---|
2011 - 2016
Concluded
|
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" (THESIS/DISSERTATION)
|
Approved with Distinction |
2009/09 - 2010
Attended
|
Master in Mathematics and Applications (Mestrado)
Universidade de Lisboa Instituto Superior Técnico Departamento de Matemática, Portugal
"n/a" (THESIS/DISSERTATION)
|
18/20 |
2006 - 2009
Concluded
|
Matemática (Licenciatura)
Universidade do Porto Faculdade de Ciências, Portugal
|
19/20 |
Affiliation
Science
Category Host institution |
Employer | |
---|---|---|
2019/07/01 - Current | Researcher (Research) | Universidade de Coimbra Faculdade de Ciencias e Tecnologia, Portugal |
2017/09 - 2019/06/30 | Postdoc (Research) | Université de Nice Sophia Antipolis IUT Nice Côte d'Azur, France |
2016/06/01 - 2017/09 | Postdoc (Research) | Université de Paris IUT Paris Diderot, France |
Teaching in Higher Education
Category Host institution |
Employer | |
---|---|---|
2020/02 - Current | Tutor (University Teacher) | Universidade de Coimbra Centro de Matemática, Portugal |
2018/09 - 2019/06 | Tutor (University Teacher) | Université Côte d'Azur, France |
2009/09/01 - 2011/09/01 | Tutor (University Teacher) | Universidade de Lisboa Instituto Superior Técnico, Portugal |
Outputs
Publications
Conference paper |
|
Journal article |
|
Thesis / Dissertation |
|
Activities
Oral presentation
Presentation title | Event name Host (Event location) |
|
---|---|---|
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), United States)
|
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 (France)
|
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 (France)
|
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 (Sweden)
|
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
|
Event organisation
Event name Type of event (Role) |
Institution / Organization | |
---|---|---|
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)
Conference (Member of the Organising Committee)
|
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)
Conference (Member of the Organising Committee)
|
Laboratoire Jean-Alexandre Dieudonné, France |
Jury of academic degree
Topic Role |
Candidate name (Type of degree) Institution / Organization |
|
---|---|---|
2022/12 | Schützenberger groups of minimal shift spaces | Herman Goulet-Ouellet (PhD) |
2022/06 | A study of localic subspaces, separation, and variants of normality and their duals | Igor Arrieta Torres (PhD) |
Committee member
Activity description Role |
Institution / Organization | |
---|---|---|
2019/10 - Current | Problem Selection Committee of the Portuguese Mathematical Olympiad |
Consulting
Activity description | Institution / Organization | |
---|---|---|
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. |
Mentoring / Tutoring
Topic | Student name | |
---|---|---|
2023/02 - 2023/04 | Diversos olhares sobre os inteiros profinitos | Beatriz Ferreira |
Distinctions
Award
2018 | Fundação Eng. António de Almeida
Universidade do Porto Faculdade de Ciências, Portugal
|