???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.
Identificação

Identificação pessoal

Nome completo
Célia Borlido

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)
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
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
  1. Borlido, C.; Czarnetzki, S.; Gehrke, M.; Krebs, A.. "Stone duality and the substitution principle". 2017.
    10.4230/LIPIcs.CSL.2017.13
Artigo em revista
  1. 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
  2. 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
  3. 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
  4. 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
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)
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/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 nternational 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)
2017/08/21 Stone duality and the substitution principle Computer Science Logic (CSL 2017)
Stockholm University (Suécia)
2016/06/22 The k-word problem over pseudovarieties of the form DRH International Conference on Semigroups and Automata (CSA 2016)
Faculdade de Ciências da Universidade de Lisboa
Distinções

Prémio

2018 Fundação Eng. António de Almeida
Universidade do Porto Faculdade de Ciências, Portugal