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
- http://mat.uc.pt/~cborlido/ (Profissional)
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 |
|
Artigo em revista |
|
Pré-impressão |
|
Tese / Dissertação |
|
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
|