CÉLIA MARIANA RABAÇAL BORLIDO ALMEIDA (C91F-ED9E-9EE6)

Curriculum Vitae

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

http://mat.uc.pt/~cborlido/ (Professional)

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	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	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 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 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 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 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 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 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 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 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 Célia Borlido. "Colisão de Petroleiros". Boletim da Sociedade Portuguesa de Matemática 59 (2008): 47-62.
Preprint	Célia Borlido. "Schreier split extensions of quantale enriched monoids". 2024. https://arxiv.org/abs/2405.06844. Célia Borlido; Panagis Karazeris; Luca Reggio; Konstantinos Tsamis. "Filtral pretoposes and compact Hausdorff locales". 2023. https://arxiv.org/abs/2306.11169. Célia Borlido; Gehrke, Mai. "A note on powers of Boolean spaces with internal semigroups". 2019. https://arxiv.org/abs/1811.12339.
Thesis / Dissertation	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/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
2020/02 - Current	Métodos de Programação I (exercise classes, 2nd semester)	Matemática (Licenciatura)	Universidade de Coimbra Departamento de Matemática, Portugal
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