???global.info.a_carregar???
Since July 2019, I am a Junior researcher at CMUC (Center for Mathematics, University of Coimbra) under the 2017 Individual call for the Stimulus of Scientific Employment launched by FCT (Fundação para a Ciência e Tecnologia). From June 2016 to July 2019 I was a postdoc under supervision of Mai Gehrke on the ERC Advanced project duaLL. In April 2016, I was awarded my PhD degree in Mathematics with distinction 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) Advanced (C1)
French Intermediate (B1) Intermediate (B1) Intermediate (B1) Intermediate (B1) Intermediate (B1)
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, Portugal
Universidade de Coimbra Centro de Matemática, Portugal
2017/09 - 2019/06/30 Postdoc (Research) Université Côte d'Azur Faculté des Sciences, France
Laboratoire Jean-Alexandre Dieudonné, France
2016/06/01 - 2017/09 Postdoc (Research) Université de Paris IUT Paris Diderot, France
Institut de Recherche en Informatique Fondamentale, France

Teaching in Higher Education

Category
Host institution 		Employer
2020/02 - Current Tutor (University Teacher) Universidade de Coimbra, Portugal
Universidade de Coimbra Departamento de Matemática, Portugal
2018/09 - 2019/06 Tutor (University Teacher) Université Côte d'Azur, France
Laboratoire Jean-Alexandre Dieudonné, France
(...)
2009/09/01 - 2011/09/01 Tutor (University Teacher) Universidade de Lisboa, Portugal
Universidade de Lisboa Instituto Superior Técnico Departamento de Matemática, Portugal
Projects

Grant

Designation Funders
2012/01 - 2015/12 The word problem and some reducibility properties for pseudovarieties of the form DRH
SFRH/BD/75977/ 2011
PhD Student Fellow
Universidade do Porto Faculdade de Ciências, Portugal
 Fundação para a Ciência e a Tecnologia
Concluded

Contract

Designation Funders
2016/06 - 2019/07 Duality in Formal Languages and Logic - a unifying approach to complexity and semantics
670624
Post-doc
Institut de Recherche en Informatique Fondamentale, France

Laboratoire Jean-Alexandre Dieudonné, France
European Research Council
Concluded
Outputs

Publications

Conference paper
  1. Célia Borlido; Czarnetzki, S.; Gehrke, M.; Krebs, A.. "Stone duality and the substitution principle". Paper presented in Computer Science Logic (CSL 2017), Stockholm, 2017.
    Published • 10.4230/LIPIcs.CSL.2017.13
Journal article
  1. Célia Borlido; Panagis Karazeris; Luca Reggio; Konstantinos Tsamis. "Filtral pretoposes and compact Hausdorff locales". Theory and Applications of Categories 41 41 (2024): 1439-1475. https://arxiv.org/abs/2306.11169.
    Open access • Published
  2. Célia Borlido. "On semidirect products of quantale enriched monoids". Semigroup Forum (2024): https://arxiv.org/abs/2405.06844.
    Accepted
  3. Célia Borlido; 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
  4. 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
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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
  10. Borlido, Célia. "The kappa-word problem over DRH". Theoretical Computer Science 702 (2017): 1-22. http://dx.doi.org/10.1016/j.tcs.2017.08.008.
    10.1016/j.tcs.2017.08.008
  11. Almeida, Jorge; Célia Borlido. "Complete kappa-reducibility of pseudovarieties of the form DRH". International Journal of Algebra and Computation 27 02 (2017): 189-235. http://dx.doi.org/10.1142/s0218196717500096.
    10.1142/s0218196717500096
  12. Célia Borlido. "Colisão de Petroleiros". Boletim da Sociedade Portuguesa de Matemática 59 (2008): 47-62.
Preprint
  1. Célia Borlido; Gehrke, Mai. "A note on powers of Boolean spaces with internal semigroups". 2019. https://arxiv.org/abs/1811.12339.
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)
2024/07/03 On quantale enriched monoids (invited speaker) Topology, Algebra, and Categories in Logic (TACL 2024)
Faculty of Mathematics and Computer Science, University of Barcelona (Barcelona, Spain)
2024/04/19 Algebras of partial functions for a foundational signature Algebra, Logic and Computation seminar
Centro de Matemática, Universidade do Minho (Braga, Portugal)
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 (invited speaker) 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 (invited speaker) AMS Fall Central Sectional Meeting
University of Texas (online)
2022/06/21 Difference-restriction algebras of partial functions: axiomatizations and representation Topology, Algebra, and Categories in Logic (TACL 2021/22)
Departamento de Matemática, Universidade de Coimbra
2022/05/18 Difference-restriction algebras of partial functions with operators: discrete duality (invited speaker) 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 (invited speaker) 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 seminar
Centro de Matemática, Universidade de Coimbra (Portugal)
2018/09/11 Stone duality and the Substitution Principle (invited speaker) 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 (invited speaker) 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/11/21 Semidirect products, monoids and categories Dualité de Stone, langages formels et logique seminar
Laboratoire J. A. Dieudonné, Université Côte d’Azur (Nice, France)
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/09/20 Complete reducibility of pseudovarieties of the form DRH Journée de rentrée de l’équipe Automates et applications
Institut de Recherche en Informatique Fondamentale, Université Paris Diderot (Paris, France)
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
2012/04/27 From Tarski’s Problem to Universal Algebraic Geometry PhD Program UC|UP seminar
Departamento de Matemática, Universidade do Porto
2008/05/28 Euler, números pentagonais e somas de divisores Diagonal seminar
Departamento de Matemática, Universidade do Porto (Porto, Portugal)
2007/09/07 Sistemas de Numeração New Talents in Mathematics meeting
Calouste Gulbenkian Foundation (Lisboa, Portugal)
2007 Sistemas de Numeração Diagonal seminar
Departamento de Matemática, Universidade do Porto (Porto, Portugal)
2007 Sistemas de Numeração Delfos project
Departamento de Matemática, Universidade de Coimbra (Porto, Portugal)
2006/06/20 Colisão de petroleiros National Meeting of the Portuguese Mathematical Society
Instituto Superior de Engenharia de Lisboa (Lisboa, Portugal)
2006 Grupos finitos de simetria SigMa temática seminar
Departamento de Matemática, Universidade do Porto (Porto, Portugal)

Event organisation

Event name
Type of event (Role) 		Institution / Organization
2023 - 2024 38th Summer Conference on Topology and Applications (2024/07/08 - 2024/07/12)
Conference (Member of the Organising Committee)
 Universidade de Coimbra Centro de Matemática, Portugal
2023 - 2024 Special Session on Topology in Logic and Computer Science (38th Summer Conference on Topology and its Applications) (2024/07/08 - 2024/07/12)
Conference (Co-organisor)
 Universidade de Coimbra Centro de Matemática, Portugal
2021 - 2022 Topology, Algebra, and Categories in Logic (TACL 2021-22) (2022/06/13 - 2022/06/24)
Conference (Member of the Organising Committee)
 Universidade de Coimbra Centro de Matemática, Portugal
2021 - 2022 Topology, Algebra and Categories in Logic (Summer School) (2022/06/13 - 2022/06/18)
Meeting (Member of the Organising Committee)
 Universidade de Coimbra Centro de Matemática, Portugal
2019 - 2020 Organizer of Liga Delfos, a Mathematical Olympiads training activity for high-school students (2019 - 2020)
Other (Other)
 Universidade de Coimbra, Portugal
2019 - 2019 Topology, Algebra and Categories in Logic (Summer School) (2019/06/10 - 2019/06/15)
Meeting (Member of the Organising Committee)
 Laboratoire Jean-Alexandre Dieudonné, France
2018 - 2019 Topology, Algebra, and Categories in Logic (TACL 2019) (2019/06/10 - 2019/06/21)
Conference (Member of the Organising Committee)
 Laboratoire Jean-Alexandre Dieudonné, France
2017 - 2018 Logique catégorique, topos et dualités (member of local organization task-force) (2018/01/08 - 2018/01/12)
Workshop (Other)
 Laboratoire Jean-Alexandre Dieudonné, France
2014 - 2015 AMS/EMS/SPM International Meeting (member of local organization task-force) (2015/06/10 - 2015/06/13)
Meeting (Other)
 Universidade do Porto, Portugal

Jury of academic degree

Topic
Role 		Candidate name (Type of degree)
Institution / Organization
2024/01 Some aspects of descent theory and applications
Thesis Member
 Rui Prezado (PhD)
Universidade de Coimbra Departamento de Matemática, Portugal
2023/04 A point-free study of z-embeddings, more general classes of localic maps, and uniform continuity
Thesis Member
 Ana Belén Avilez (PhD)
Universidade de Coimbra Departamento de Matemática, Portugal
2022/12 Schützenberger groups of minimal shift spaces
Thesis Member
 Herman Goulet-Ouellet (PhD)
Universidade de Coimbra Departamento de Matemática, Portugal
2022/06 A study of localic subspaces, separation, and variants of normality and their duals
Thesis Member
 Igor Arrieta Torres (PhD)
Universidade de Coimbra Departamento de Matemática, Portugal

Committee member

Activity description
Role 		Institution / Organization
2019/10 - Current Problem Selection Committee of the Portuguese Mathematical Olympiad
Member
 Sociedade Portuguesa de Matemática, Portugal
2018/07/23 - 2018/07/30 Coordinating committee of the 33rd Ibero-American Olympiad of Mathematics
Member
 Sociedade Portuguesa de Matemática, Portugal
2017/07/23 - 2017/07/30 Coordinating committee of the 7th Olympiad of Mathematics of the CPLP (Portuguese-speaking community)
Member
 Sociedade Portuguesa de Matemática, Portugal

Conference scientific committee

Conference name Conference host
2024/06/10 - 2024/06/13 30th Workshop on Logic, Language, Information and Computation (WoLLIC 2024) University of Bern

Consulting

Activity description Institution / Organization
2022/11/01 - 2022/11/02 Member of monitoring and correcting team for the 10th Olympiad of Mathematics of the CPLP (Portuguese-speaking community) Sociedade Portuguesa de Matemática, Portugal
2022/02 - 2022/02 Member of correcting team for the 2nd round of the Portuguese Mathematics Olympiad Sociedade Portuguesa de Matemática, Portugal
2021 - 2021 Reviewer of a grant application Agence nationale de la recherche, France

Course / Discipline taught

Academic session Degree Subject (Type) Institution / Organization
2024/09 - Current Álgebra Linear e Geometria Analítica (exercise clases) Engenharia Mecânica (Licenciatura) Universidade de Coimbra Departamento de Engenharia Mecânica, Portugal
2020/02 - 2024/07 Métodos de Programação I (exercise classes, 2nd semester) Matemática (Licenciatura) Universidade de Coimbra Departamento de Matemática, Portugal
2024/06 - 2024/06 Categories in Algebra and Topology (lectures of a course module, 20h, online) PhD in Mathematics (Doctor of Philosophy) Universidade de Cabo Verde, Cape Verde
2019/01 - 2019/07 Programmation impérative (exercise classes) MIASHS (Licence) Université Côte d'Azur, Département Informatique, France
2018/09 - 2018/12 Algèbre homologique et catégorielle (exercise classes) Mathematics (Master) Laboratoire Jean-Alexandre Dieudonné, France
2011/02 - 2011/07 Álgebra linear (exercise classes) Engenharia (Licenciatura) Universidade de Lisboa Instituto Superior Técnico, Portugal
2010/09 - 2011/01 Cálculo diferencial e integral (exercise classes) Engenharia (Licenciatura) Universidade de Lisboa Instituto Superior Técnico, Portugal
2010/02 - 2010/07 Álgebra linear (exercise classes) Engenharia (Licenciatura) Universidade de Lisboa Instituto Superior Técnico, Portugal
2009/09 - 2010/01 Análise complexa e equações diferenciais (exercise classes) Engenharia (Licenciatura) Universidade de Lisboa Instituto Superior Técnico, Portugal

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
2009 Doutor Neves Real
Universidade do Porto Faculdade de Ciências, Portugal
2009 Merit Scholarship
Universidade do Porto, Portugal
2009 Doutor Gomes Teixeira
Universidade do Porto Faculdade de Ciências, Portugal
2009 Professor Doutor Jayme Rios de Sousa
Universidade do Porto Faculdade de Ciências, Portugal
2008 Incentivo
Universidade do Porto, Portugal
2008 Doutor Jayme Rios de Sousa
Universidade do Porto Faculdade de Ciências, Portugal