Departamento de Matemática
Faculdade de Ciências e Tecnologia
Universidade de Coimbra
Largo D. Dinis
3000-143 Coimbra
Portugal

Office: 5.17

Mail: cborlido@mat.uc.pt

Célia Borlido


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 obtained my PhD in Mathematics in 2016 at Faculdade de Ciências da Universidade do Porto, where I was advised by Jorge Almeida.


My CV:[English version] (May 2020)[French version] (Dec. 2019)[Portuguese version] (Jun. 2021)


Research Interests:

  1. Pervin spaces and Frith frames: bitopological aspects and completion. (with A. L. Suarez). Accepted for publication in Applied Categorical Structures (2023) [Preprint]

  2. Substitution Principle and semidirect products. (with M. Gehrke). Mathematical Structures in Computer Science, 33(6), 486-535 (2023) [Preprint]

  3. A pointfree theory of Pervin spaces. (with A. L. Suarez). Quaestiones Mathematicae, 46:11, 2287-2326 (2023) [Preprint]

  4. Difference-restriction algebras of partial functions with operators: discrete duality and completion. (with B. McLean). Journal of Algebra 604: 760-789 (2022) [Preprint]

  5. Difference-restriction algebras of partial functions with operators: axiomatisations and representations.(with B. McLean). Algebra Universalis 83, 24 (2022) [Preprint]

  6. Difference hierarchies and duality with an application to formal languages. (with M. Gehrke, A. Krebs, H. Straubing). Topology and its Applications, 273 (2020) [Preprint]

  7. Some reducibility properties for pseudovarieties of the form DRH. Communications in Algebra 46(4): 1813-1830 (2018) [Preprint]

  8. Stone Duality and the Substitution principle. (with S. Czarnetzki, M. Gehrke, A. Krebs). Computer Science Logic:13:1-13:20 (2017)

  9. The kappa-word problem over DRH. Theoretical Computer Science 702: 1-22 (2017) [Preprint]

  10. Complete kappa-reducibility of pseudovarieties of the form DRH. (with J. Almeida). International Journal of Algebra and Computation 27(2): 189-236 (2017) [Preprint]

Preprints:

My PhD thesis may be found here.

You can solve the kappa-word problem over DRG here.


Last update: October 2023.

2022/23:
2021/22:
2020/21:
2018/19:
2010/11:
2009/10:
Talks at conferences and workshops:
Invited seminar talks:

Last update: October 2023.