???global.info.a_carregar???
Since July 2019, I am a Junior researcher at CMUC (Center for Mathematics, University of Coimbra). From June 2016 to July 2019 I was a postdoc under supervision of Mai Gehrke on the ERC project duaLL. I did my PhD at Faculdade de Ciências da Universidade do Porto, where I was advised by Jorge Almeida.
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

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
  1. Borlido, C.; Czarnetzki, S.; Gehrke, M.; Krebs, A.. "Stone duality and the substitution principle". 2017.
    10.4230/LIPIcs.CSL.2017.13
Journal article
  1. Borlido, Célia; Suarez, Anna Laura. "Pervin Spaces and Frith Frames: Bitopological Aspects and Completion". Applied Categorical Structures 31 5 (2023): http://dx.doi.org/10.1007/s10485-023-09749-6.
    10.1007/s10485-023-09749-6
  2. Borlido, Célia; Gehrke, Mai. "Substitution Principle and semidirect products". Mathematical Structures in Computer Science 33 6 (2023): 486-535. http://dx.doi.org/10.1017/s0960129523000294.
    10.1017/s0960129523000294
  3. Borlido, Célia; Suarez, Anna Laura. "A pointfree theory of Pervin spaces". Quaestiones Mathematicae 46 11 (2023): 2287-2326. http://dx.doi.org/10.2989/16073606.2022.2146545.
    10.2989/16073606.2022.2146545
  4. Borlido, Célia; McLean, Brett. "Difference–restriction algebras of partial functions with operators: Discrete duality and completion". Journal of Algebra 604 (2022): 760-789. http://dx.doi.org/10.1016/j.jalgebra.2022.03.039.
    10.1016/j.jalgebra.2022.03.039
  5. Borlido, Célia; McLean, Brett. "Difference–restriction algebras of partial functions: axiomatisations and representations". Algebra universalis 83 3 (2022): http://dx.doi.org/10.1007/s00012-022-00775-4.
    10.1007/s00012-022-00775-4
  6. Borlido, Célia; Gehrke, Mai; Krebs, Andreas; Straubing, Howard. "Difference hierarchies and duality with an application to formal languages". Topology and its Applications 273 (2020): 106975. http://dx.doi.org/10.1016/j.topol.2019.106975.
    10.1016/j.topol.2019.106975
  7. Borlido, Célia. "Some reducibility properties for pseudovarieties of the form DRH". Communications in Algebra 46 4 (2018): 1813-1830. http://dx.doi.org/10.1080/00927872.2017.1360328.
    10.1080/00927872.2017.1360328
  8. Célia Borlido; Almeida, J.; Borlido, C.. "Complete k-reducibility of pseudovarieties of the form DRH". International Journal of Algebra and Computation 27 2 (2017): 189-235. http://www.scopus.com/inward/record.url?eid=2-s2.0-85017271094&partnerID=MN8TOARS.
    10.1142/S0218196717500096
  9. Faculdade de Ciências. "The k-word problem over DRH". (2017): https://repositorio-aberto.up.pt/handle/10216/111030.
    10.1016/j.tcs.2017.08.008
Thesis / Dissertation
  1. Célia Mariana Rabaçal Borlido. "The word problem and some reducibility properties for pseudovarieties of the form DRH". PhD, 2016. https://repositorio-aberto.up.pt/handle/10216/83285.
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