???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.
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

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) Utilizador proficiente (C1)
Francês Utilizador independente (B1) Utilizador independente (B1) Utilizador independente (B1) Utilizador independente (B1) Utilizador independente (B1)
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, Portugal
Universidade de Coimbra Centro de Matemática, Portugal
2017/09 - 2019/06/30 Pós-doutorado (Investigação) Université Côte d'Azur Faculté des Sciences, França
Laboratoire Jean-Alexandre Dieudonné, França
2016/06/01 - 2017/09 Pós-doutorado (Investigação) Université de Paris IUT Paris Diderot, França
Institut de Recherche en Informatique Fondamentale, França

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento 		Empregador
2020/02 - Atual Monitor (Docente Universitário) Universidade de Coimbra, Portugal
Universidade de Coimbra Departamento de Matemática, Portugal
2018/09 - 2019/06 Monitor (Docente Universitário) Université Côte d'Azur, França
Laboratoire Jean-Alexandre Dieudonné, França
(...)
2009/09/01 - 2011/09/01 Monitor (Docente Universitário) Universidade de Lisboa, Portugal
Universidade de Lisboa Instituto Superior Técnico Departamento de Matemática, Portugal
Projetos

Bolsa

Designação Financiadores
2012/01 - 2015/12 The word problem and some reducibility properties for pseudovarieties of the form DRH
SFRH/BD/75977/ 2011
Bolseiro de Doutoramento
Universidade do Porto Faculdade de Ciências, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído

Projeto

Designação Financiadores
2016/06 - 2019/07 Duality in Formal Languages and Logic - a unifying approach to complexity and semantics
670624
Investigador Pós-doutorado
Institut de Recherche en Informatique Fondamentale, França

Laboratoire Jean-Alexandre Dieudonné, França
European Research Council
Concluído
Produções

Publicações

Artigo em conferência
  1. Célia Borlido; Czarnetzki, S.; Gehrke, M.; Krebs, A.. "Stone duality and the substitution principle". Trabalho apresentado em Computer Science Logic (CSL 2017), Stockholm, 2017.
    Publicado • 10.4230/LIPIcs.CSL.2017.13
Artigo em revista
  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.
    Acesso aberto • Publicado
  2. Célia Borlido. "On semidirect products of quantale enriched monoids". Semigroup Forum (2024): https://arxiv.org/abs/2405.06844.
    Aceite para publicação
  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.
Pré-impressão
  1. Célia Borlido; Gehrke, Mai. "A note on powers of Boolean spaces with internal semigroups". 2019. https://arxiv.org/abs/1811.12339.
Tese / Dissertação
  1. Célia Mariana Rabaçal Borlido. "The word problem and some reducibility properties for pseudovarieties of the form DRH". Doutoramento, 2016. https://repositorio-aberto.up.pt/handle/10216/83285.
Atividades

Apresentação oral de trabalho

Título da apresentação Nome do evento
Anfitrião (Local do evento)
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, Espanha)
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), 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 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 (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 (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, França)
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/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, França)
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)

Organização de evento

Nome do evento
Tipo de evento (Tipo de participação) 		Instituição / Organização
2023 - 2024 38th Summer Conference on Topology and Applications (2024/07/08 - 2024/07/12)
Conferência (Membro da Comissão Organizadora)
 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)
Conferência (Coorganizador)
 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)
Conferência (Membro da Comissão Organizadora)
 Universidade de Coimbra Centro de Matemática, Portugal
2021 - 2022 Topology, Algebra and Categories in Logic (Summer School) (2022/06/13 - 2022/06/18)
Encontro (Membro da Comissão Organizadora)
 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)
Outro (Outra)
 Universidade de Coimbra, Portugal
2019 - 2019 Topology, Algebra and Categories in Logic (Summer School) (2019/06/10 - 2019/06/15)
Encontro (Membro da Comissão Organizadora)
 Laboratoire Jean-Alexandre Dieudonné, França
2018 - 2019 Topology, Algebra, and Categories in Logic (TACL 2019) (2019/06/10 - 2019/06/21)
Conferência (Membro da Comissão Organizadora)
 Laboratoire Jean-Alexandre Dieudonné, França
2017 - 2018 Logique catégorique, topos et dualités (member of local organization task-force) (2018/01/08 - 2018/01/12)
Oficina (workshop) (Outra)
 Laboratoire Jean-Alexandre Dieudonné, França
2014 - 2015 AMS/EMS/SPM International Meeting (member of local organization task-force) (2015/06/10 - 2015/06/13)
Encontro (Outra)
 Universidade do Porto, Portugal

Júri de grau académico

Tema
Tipo de participação 		Nome do candidato (Tipo de grau)
Instituição / Organização
2024/01 Some aspects of descent theory and applications
Vogal
 Rui Prezado (Doutoramento)
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
Vogal
 Ana Belén Avilez (Doutoramento)
Universidade de Coimbra Departamento de Matemática, Portugal
2022/12 Schützenberger groups of minimal shift spaces
Vogal
 Herman Goulet-Ouellet (Doutoramento)
Universidade de Coimbra Departamento de Matemática, Portugal
2022/06 A study of localic subspaces, separation, and variants of normality and their duals
Vogal
 Igor Arrieta Torres (Doutoramento)
Universidade de Coimbra Departamento de Matemática, Portugal

Arbitragem científica em conferência

Nome da conferência Local da conferência
2024/06/10 - 2024/06/13 30th Workshop on Logic, Language, Information and Computation (WoLLIC 2024) University of Bern

Consultoria / Parecer

Descrição da atividade Instituição / Organização
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, França

Curso / Disciplina lecionado

Disciplina Curso (Tipo) Instituição / Organização
2024/09 - Atual Á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, Cabo Verde
2019/01 - 2019/07 Programmation impérative (exercise classes) MIASHS (Licence) Université Côte d'Azur, Département Informatique, França
2018/09 - 2018/12 Algèbre homologique et catégorielle (exercise classes) Mathematics (Master) Laboratoire Jean-Alexandre Dieudonné, França
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

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
Membro
 Sociedade Portuguesa de Matemática, Portugal
2018/07/23 - 2018/07/30 Coordinating committee of the 33rd Ibero-American Olympiad of Mathematics
Membro
 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)
Membro
 Sociedade Portuguesa de Matemática, Portugal

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
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