???global.info.a_carregar???
Gonçalo Gutierres is is an Assistant Professor at the Department of Mathematics of the University of Coimbra and member of CMUC, the Centre for Mathematics of the University of Coimbra. Research topics: Choice-free Topology and Enumerative Combinatorics.
Identificação

Identificação pessoal

Nome completo
Gonçalo Gutierres da Conceição
Género
Masculino

Nomes de citação

  • Gutierres, Gonçalo

Identificadores de autor

Ciência ID
D013-9C21-2D31
ORCID iD
0000-0001-9480-498X
Google Scholar ID
https://scholar.google.pt/citations?hl=pt-PT&user=tfyA7YkAAAAJ
Scopus Author Id
6505785177

Moradas

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

Websites

Domínios de atuação

  • Ciências Exatas - Matemática - Matemática Pura

Idiomas

Idioma Conversação Leitura Escrita Compreensão Peer-review
Português (Idioma materno)
Inglês Utilizador independente (B2) Utilizador proficiente (C1) Utilizador independente (B2) Utilizador proficiente (C1) Utilizador proficiente (C1)
Alemão Utilizador elementar (A2) Utilizador elementar (A2) Utilizador elementar (A1) Utilizador independente (B1)
Espanhol; Castelhano Utilizador independente (B1) Utilizador independente (B2) Utilizador elementar (A1) Utilizador independente (B2) Utilizador independente (B1)
Francês Utilizador elementar (A1) Utilizador independente (B1) Utilizador elementar (A1) Utilizador elementar (A2)
Formação
Grau Classificação
2000 - 2004
Concluído
 Matemática (Doutoramento)
Universidade de Coimbra, Portugal
"O Axioma da Escolha Numerável em Topologia // The Axiom of Countable Choice in Topology" (TESE/DISSERTAÇÃO)
1995 - 1998
Concluído
 Matemática (Mestrado)
Universidade de Coimbra, Portugal
"Conexidade em Categorias // Connectedness in Categories" (TESE/DISSERTAÇÃO)
1991 - 1995
Concluído
 Matemática (Licenciatura)
Universidade de Coimbra, Portugal
Percurso profissional

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento 		Empregador
2004/06 - Atual Professor Auxiliar (Docente Universitário) Universidade de Coimbra, Portugal
1998/05 - 2004/06 Assistente (Docente Universitário) Universidade de Coimbra, Portugal
1995/11 - 1998/05 Assistente Estagiário (Docente Universitário) Universidade de Coimbra, Portugal
Projetos

Bolsa

Designação Financiadores
2006 - 2007 Fundamental Methods and Techniques in Mathematics
WO.012.06N
Investigador
Concluído
2000/10/01 - 2003/07/31 PRINCÍPIOS DE ESCOLHA EM TOPOLOGIA GERAL
SFRH/BD/1340/2000
Bolseiro de Doutoramento
Fundação para a Ciência e a Tecnologia
Concluído
1999/01 - 2002/09 Atlantis: New Avenues in the Teaching of Mathematics
ATLANTIS
Bolseiro de Doutoramento
Concluído
1996/08 - 1998/08 ESCoLa, Especificações Executáveis e Verificáveis de Sistemas Concorrentes: Linguagens e Modelos
PRAXIS XXI 2/2.1/MAT/46/94
Bolseiro de Mestrado
Universidade de Coimbra Centro de Matemática, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
1996/01 - 1997/09 Categorical Theory of closure operators: Topology in categories
CRG 940847
Bolseiro de Mestrado
NATO Parliamentary Assembly
Concluído

Projeto

Designação Financiadores
2020/01/01 - 2024/12/31 Center for Mathematics, University of Coimbra
UIDP/00324/2020
Investigador
Universidade de Coimbra Centro de Matemática, Portugal
 Fundação para a Ciência e a Tecnologia
Em curso
2019/01/01 - 2019/12/31 Center for Mathematics, University of Coimbra
UID/MAT/00324/2019
Investigador
Universidade de Coimbra Centro de Matemática, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2013/01/01 - 2018/12/31 Center for Mathematics, University of Coimbra
UID/MAT/00324/2013
Investigador
Universidade de Coimbra Centro de Matemática, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2013/01 - 2014/12 Tardes de Matemática (outreach activities)
PT/CV/CV/CA/2/39
Co-coordenação
Ciência Viva
2011/01/01 - 2012/12/31 Strategic Project - UI 324 - 2011-2012
PEst-C/MAT/UI0324/2011
Investigador
Universidade de Coimbra Centro de Matemática, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
1997/09 - 1999/11 ACL - Algebraic Combination of Logics
PCEX/P/MAT/46/96
Bolseiro de Mestrado
Universidade de Coimbra Centro de Matemática, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
1996/09 - 1999/09 Projecto de Estímulo e Interligação da Investigação e da Pós-graduação no Departamento de Matemática da Universidade de Coimbra
Praxis XXI 2/2.1/MAT/458/9
Bolseiro de Mestrado
Universidade de Coimbra Centro de Matemática, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
Produções

Publicações

Artigo em conferência
  1. Gutierres, Gonçalo; Hofmann, Dirk. "Continuous metrics". Trabalho apresentado em Topology, Algebra and Categories in Logic, Marselha, 2011.
    Publicado
  2. Gutierres, Gonçalo; Hofmann, Dirk. "Metric compact Hausdorff spaces". Trabalho apresentado em Topology, Algebra, and Categories in Logic, Marselha, 2011.
    Publicado
Artigo em revista
  1. Gonçalo Gutierres; Ricardo Mamede. "Diameter of a commutation class on reduced words". Discrete Mathematics (2024): https://doi.org/10.1016/j.disc.2024.114098.
    Publicado • 10.1016/j.disc.2024.114098
  2. Gonçalo Gutierres; Ricardo Mamede; José Luis Santos. "Diameter of the commutation classes graph of a permutation". European Journal of Combinatorics 103 (2022): 103525-103525. https://doi.org/10.1016/j.ejc.2022.103525.
    10.1016/j.ejc.2022.103525
  3. Gutierres, Gonçalo; Mamede, Ricardo; Santos, José Luis. "Commutation Classes of the Reduced Words for the Longest Element of Sn". The Electronic Journal of Combinatorics 27 2 (2020): http://dx.doi.org/10.37236/9481.
    10.37236/9481
  4. Gutierres, Gonçalo; Mamede, Ricardo; Santos, José Luis. "Optimal Gray code for involutions". Information Processing Letters 148 (2019): 19-22. http://dx.doi.org/10.1016/j.ipl.2019.04.003.
    10.1016/j.ipl.2019.04.003
  5. Gutierres, Gonçalo; Mamede, Ricardo; Santos, José Luis. "Gray codes for signed involutions". Discrete Mathematics 341 9 (2018): 2590-2601. http://dx.doi.org/10.1016/j.disc.2018.06.011.
    10.1016/j.disc.2018.06.011
  6. Gutierres, G.. "Total Boundedness and the Axiom of Choice". Applied Categorical Structures 24 5 (2016): 457-469. http://www.scopus.com/inward/record.url?eid=2-s2.0-84982150909&partnerID=MN8TOARS.
    10.1007/s10485-016-9443-1
  7. Gutierres, Gonçalo; Hofmann, Dirk. "Approaching Metric Domains". Applied Categorical Structures 21 (2012):
    Aceite para publicação • 10.1007/s10485-011-9274-z
  8. Gutierres, Gonçalo. "The Ultrafilter Closure in ZF". Mathematical Logic Quarterly 56 3 (2010): 331-336.
    Publicado • 10.1002/malq.200910014
  9. Gutierres, Gonçalo; Clementino, Maria Manuel. "On regular and homological closure operators". Cahiers de Topologie et Géométrie Différentielle Catégoriques 51 2 (2010): 127-142. http://www.ams.org/mathscinet-getitem?mr=2667980.
    Publicado
  10. Gutierres, Gonçalo. "On countable choice and sequential spaces". MLQ 54 2 (2008): 145-152.
    Publicado • 10.1002/malq.200710018
  11. Gutierres, Gonçalo; Hofmann, Dirk; Gutierres, G.; Hofmann, D.. "Sequential convergence via Galois correspondences". Acta Mathematica Hungarica 123 1-2 (2008): 187-202. http://www.scopus.com/inward/record.url?eid=2-s2.0-64549087575&partnerID=MN8TOARS.
    Publicado • 10.1007%2Fs10474-008-8082-x
  12. Gutierres, Gonçalo; Hofmann, Dirk. "Axioms for Sequential Convergence". Applied Categorical Structures 15 5-6 (2007): 599-614.
    Publicado • 10.1007/s10485-007-9095-2
  13. Gutierres, Gonçalo. "What is a first countable space?". Topology and its Applications 153 18 (2006): 3420-3429.
    Publicado • 10.1016/j.topol.2006.03.003
  14. Gutierres, Gonçalo. "On first and second countable spaces and the axiom of choice". Topology and its Applications 143 1-3 (2004): 93-103.
    Publicado • 10.1016/j.topol.2004.02.010
  15. Gutierres, Gonçalo. "Sequential topological conditions in R in the absence of the axiom of choice". MLQ 49 3 (2003): 293-298.
    Publicado • 10.1002/malq.200310029
Catálogo de exposição
  1. Gutierres, Gonçalo. Scientific review of the reissue of the exhibition "Visual Proofs", and coordination of the Support Guide. SPM/DM-FCTUC, 2011.
Manual
  1. Gutierres, Gonçalo. Notas de Apoio à disciplina de Matemática, 1st year, Pharmaceutical Sciences. 2023.
    Publicado
  2. Gutierres, Gonçalo. Notas de Apoio à disciplina de Análise Matemática II, 2nd semester, Chemical Engeneering. 2021.
    Publicado
  3. Gutierres, Gonçalo. Notes on voting theory. 2006.
    Publicado
Poster em conferência
  1. Gutierres, Gonçalo. "The graph(s) of reduced words of a permutation". Trabalho apresentado em 8th Iberian Mathematical Meeting, 2022.
  2. Gutierres, Gonçalo. "Bases in (pre)topological spaces without the Axiom of Choice". Trabalho apresentado em 2019 Interdisciplinary Colloquium in Topology and its Applications, 2019.
Pré-impressão
  1. Mamede, Ricardo; Gutierres, Gonçalo; Santos, José Luis Esteves dos. "HAMILTON CYCLES FOR INVOLUTIONS OF CLASSICAL TYPES". 2024.
Recurso online
  1. Gutierres, Gonçalo. D'Hondt method calculator. 2005. https://apps.uc.pt/mypage/faculty/uc25818/en/dhondt.
Resumo em conferência
  1. Gutierres, Gonçalo; Mamede, Ricardo; Santos, José Luis Esteves dos. "The diameter of the commutation graph of a permutation". Trabalho apresentado em 8th Iberian Mathematical Meeting, Sevilha, 2022.
    Publicado
  2. Gutierres, Gonçalo. "Bases in (pre)topological spaces without the Axiom of Choice". Trabalho apresentado em 2019 Interdisciplinary Colloquium in Topology and its Applications, Vigo, 2019.
    Publicado
Tese / Dissertação
  1. Conceição, Gonçalo Gutierres da. "O axioma da escolha numerável em topologia. // The Axiom of countable choice in topology.". Doutoramento, Universidade de Coimbra, 2004. https://www.mat.uc.pt/~ggutc/teses/teseingles.pdf.
  2. Conceição, Gonçalo Gutierres da. "Conexidade em categorias". Mestrado, Universidade de Coimbra, 1998. hdl.handle.net/10316/14420.
Tradução
  1. Gonçalo Gutierres. English translations of Atractor's module "Beautiful triangles". 2014.
Atividades

Apresentação oral de trabalho

Título da apresentação Nome do evento
Anfitrião (Local do evento)
2023 Delfos School - over 10 sessions since 2006 in subjects s.t. logic, set theory, topology, functional equations, voting theory, combinatorics, ... Delfos School
Universidade de Coimbra, Departamento de Matemática
2022/07 Closure spaces, countable conditions and the axiom of choice. 13th Prague Topological Symposium
Institute of Mathematics of the Czech Academy of Sciences (Prague, República Checa)
2016/07 g-first countable spaces and the Axiom of Choice 12th Prague Topological Symposium
Institute of Mathematics of the Czech Academy of Sciences (Prague, República Checa)
2014/10 Seminar on Nachbin spaces.
Universidade de Aveiro, Centro de Investigação e Desenvolvimento em Matemática e Aplicações (Aveiro, Portugal)
2014/07 Topological spaces as generalised orders. International Conference on Topology and its Applications
University of Patras (Nafpaktos, Grécia)
2014/05 Elections and Democracy. (outreach activities) Chá das três
Universidade de Coimbra, Museu da Ciência
2014 Histórias com Tangram - several occasions in elementary schools since 2014 . (outreach activities) Tardes de Matemática
Sociedade Portuguesa de Matemática
2013/07 Weak first countable spaces in ZF. Logic Colloquium
University of Évora (Évora, Portugal)
2011/07 Continuous Metrics. TACL 2011 - Topology, Algebra and Categories in Logic
University of Marseille (Marseille, França)
2011/03 Co-Approach Frames vs Approach Co-Frames AMS Spring Southeastern Section Meeting
Denison University (Statesboro, Estados Unidos)
2011/03 Scott approach spaces. ALT seminar
CMUC (Coimbra, Portugal)
2010/06 Pre-Lindelof Metric spaces in ZF. International Conference on Topology and its Applications
University of Patras (Nafpaktos, Grécia)
2010/03 Closure operators and radicals. Workshop on Categorical Topology
Universidade de Coimbra, Centro de Matemática (Ponta Delgada, Azores, Portugal)
2009/07 On (co)normal closure operators 24th Summer Conference on Topology and its Applications
University of Brno (Brno, República Checa)
2008/06 Ultrafilters, closure operators and the Axiom of Choice. UltraMath 2008 - Applications of Ultrafilters and Ultraproducts in Mathematics
University of Pisa (Pisa, Itália)
2008/06 Totally bounded metric spaces and the Axiom of Choice. VII Iberoamerican conference on Topology and its Applications
University of Valencia (Valencia, Espanha)
2007/10 Sequential approach spaces. Categorical Methods in Algebra, Topology and Computer Science
Universidade de Coimbra, Centro de Matemática (Coimbra, Portugal)
2006/12 Sequential spaces in topological structures. V Portuguese Category Seminar
Universidade de Coimbra, Centro de Matemática (Coimbra, Portugal)
2006/07 Sequential convergence via Galois connections. 21th Summer Conference on Topology and its Applications
Georgia Southern University (Statesboro, Estados Unidos)
2005/12 Axioms for sequential convergence. Aspects of Contemporary Topology II
University of Antwerp (Antwerp, Bélgica)
2005/07 Completions of metric spaces in ZF. VI Iberoamerican conference on Topology and its Applications
University of Puebla (Puebla, México)
2005/07 Axioms for sequential convergence. 20th Summer Conference on Topology and its Applications
Denison University (Granville, Estados Unidos)
2004/07 First countability and the Axiom of Choice. 19th Summer Conference on Topology and its Applications
University of Cape Town (Cape Town, África do Sul)
2004/05 The Real line in a choice-free universe.
Universidade de Aveiro, Centro de Investigação e Desenvolvimento em Matemática e Aplicações (Aveiro, Portugal)
2004/03 Topological products in ZF. ALT seminar
CMUC (Coimbra, Portugal)
2004/01 Topological countable products in ZF. KatMAT seminar
University of Bremen (Bremen, Alemanha)
2003/12 Completions of metric spaces in ZF. Aspects of Contemporary Topology
University of Antwerp (Antwerp, Bélgica)
2003/06 On first and second countable spaces and the Axiom of Choice. V Iberoamerican conference on Topology and its Applications
Universidad de Alicante (Lorca, Espanha)
2003/06 First countable spaces and the Axiom of Choice II KatMAT seminar
University of Bremen (Bremen, Alemanha)
2003/01 First countable spaces and the Axiom of Choice I KatMAT seminar
University of Bremen (Bremen, Alemanha)
2002/09 The role of the Axiom of choice in completion of metric spaces. ALT seminar
CMUC (Coimbra, Portugal)
2002/04 Completions of metric spaces without choice. KatMAT seminar
University of Bremen (Bremen, Alemanha)
2001/12 Sequential spaces and the Axiom of choice. ALT seminar
CMUC (Coimbra, Portugal)
2001/10 Sequential spaces without AC. KatMAT seminar
University of Bremen (Bremen, Alemanha)
2001/08 Is R a sequential space? 9th Prague Topological Symposium
Institute of Mathematics of the Czech Academy of Sciences (Prague, República Checa)
2001/06 Is R a sequential space? KatMAT seminar
University of Bremen (Bremen, Alemanha)
2001/04 Compactness for subsets of R in the absence of the Axiom of Choice. IV Iberoamerican conference on Topology and its Applications
Universidade de Coimbra, Departamento de Matemática (Coimbra, Portugal)
2000/11 Compactness and the Axiom of Choice. KatMAT seminar
University of Bremen (Bremen, Alemanha)
2000/07 Compactness and the Axiom of Choice. ALT seminar
CMUC (Coimbra, Portugal)
2000/05 Metric spaces and countable choice. KatMAT seminar
University of Bremen (Bremen, Alemanha)
1999/05 The Axiom of countable choice in metric spaces. ALT seminar
CMUC (Coimbra, Portugal)
1999/04 On Coregural Closure Operators. III Iberoamerican conference on Topology and its Applications
Universidad de Valencia (Gandia, Espanha)
1999/01 Coregular Closure Operators KatMAT seminar
University of Bremen (Bremen, Alemanha)
1999 Par ou Ímpar (Even or Odd) - several occasions in high schools (outreach activities). Tardes de Matemática
Sociedade Portuguesa de Matemática
1998/06 Coregular Closure Operators. II meeting ACL project
CMUC (Figueira da Foz, Portugal)
1998/02 Coregular closure operators in TOP. ALT seminar
CMUC (Coimbra, Portugal)
1996/05 Objects and morphism separated and compact. ALT seminar
CMUC (Coimbra, Portugal)

Orientação

Título / Tema
Papel desempenhado 		Curso (Tipo)
Instituição / Organização
2021/09 - 2022/07 Os primeiros passos de um longo percurso
Orientador de Ana Rita Martins das Neves Marques
 Ensino de Matemática no 3.º Ciclo do Ensino Básico e no Secundário (Mestrado)
Universidade de Coimbra Faculdade de Ciencias e Tecnologia, Portugal
2021/09 - 2022/07 Aprendizagens para o Ensino: A cada passo, um novo desafio
Orientador de Carlos Alberto Ribeiro Ferreira
 Ensino de Matemática no 3.º Ciclo do Ensino Básico e no Secundário (Mestrado)
Universidade de Coimbra Faculdade de Ciencias e Tecnologia, Portugal
2016/06 - 2017/07 O Axioma da Determinabilidade e propriedades dos números reais
Orientador de José António Rodrigues Alfaiate
 Matemática (Mestrado)
Universidade de Coimbra Faculdade de Ciencias e Tecnologia, Portugal
2014/09 - 2015/06 Limit and Colimit in the Category of Relational Hypergroups (seminar of the PhD programme)
Orientador de Mahmoud Manafi
 Programa Inter-Universitário de Doutoramento em Matemática (Outra)
Universidade de Coimbra, Portugal
2006/09 - 2007/07 Representação proporcional.
Orientador de Maria Liliana Rodrigues Soares
 Licenciatura em Matemática -ramo educacional (Licenciatura/Bacharelato)
Universidade de Coimbra Faculdade de Ciencias e Tecnologia, Portugal
2006/09 - 2007/07 Construção dos números reais através de sucessões regulares de números racionais e corpos ordenados.
Orientador de Lúcia Tatiana de Oliveira Antunes
 Licenciatura em Matemática - ramo educacional (Licenciatura/Bacharelato)
Universidade de Coimbra Faculdade de Ciencias e Tecnologia, Portugal
2004/09 - 2005/07 Geometria Projectiva e Jogos Combinatórios.
Orientador de Ana Catarina Mendes Faria da Cunha
 Licenciatura em Matemática - ramo educacional (Licenciatura/Bacharelato)
Universidade de Coimbra Faculdade de Ciencias e Tecnologia, Portugal
2004/09 - 2005/07 Construções com régua não graduada e compasso+Geometria Eleitoral.
Orientador de João Pedro Senhorães Senra Pinto
 Licenciatura em Matemática - ramo educacional (Licenciatura/Bacharelato)
Universidade de Coimbra Faculdade de Ciencias e Tecnologia, Portugal

Organização de evento

Nome do evento
Tipo de evento (Tipo de participação) 		Instituição / Organização
2004 - Atual Portuguese Category Seminar - 14 editions (2004 - 2023)
Oficina (workshop) (Membro da Comissão Organizadora)
 Universidade de Coimbra Centro de Matemática, Portugal
2024/07 - 2024/07 38th Summer Conference on Topology and Applications. (2024/07)
Congresso (Membro da Comissão Organizadora)
 Universidade de Coimbra Centro de Matemática, Portugal
2022/06 - 2022/06 TACL - Topology, Algebra and Categories in Logic (2022)
Congresso (Membro da Comissão Organizadora)
 Universidade de Coimbra Centro de Matemática, Portugal
2013/02 - 2016/06 Workshop on Categorical Methods in Non-Abelian Algebra - 1st and 4th edition (2013 - 2016)
Oficina (workshop) (Coorganizador)
 Universidade de Coimbra Centro de Matemática, Portugal
2015/06 - 2015/06 Categorical Methods in Algebra and Topology - session in AMS-EMS-SPM meeting (2015)
Encontro (Coorganizador)
 Universidade do Porto Centro de Matemática, Portugal
2015/06 - 2015/06 Category Theory 2015 (2015)
Congresso (Membro da Comissão Organizadora)
 Universidade de Aveiro Centro de Investigação e Desenvolvimento em Matemática e Aplicações, Portugal
2011 - 2014 Chá das três - 26 conferences through the years (outreach activities) (2011 - 2014)
Conferência (Coorganizador)
 Sociedade Portuguesa de Matemática, Portugal

Universidade de Coimbra Museu da Ciência, Portugal
2007/09 - 2013/11 Algebra, Logic and Topology seminar - organizer of the regular sessions (2007 - 2013)
Seminário (Coorganizador)
 Universidade de Coimbra Centro de Matemática, Portugal
2012/03/09 - 2012/03/09 8th national championship of mathematical games (2012/03)
Concurso (Membro da Comissão Organizadora)
 Sociedade Portuguesa de Matemática, Portugal

Universidade de Coimbra Departamento de Matemática, Portugal
2009/09 - 2009/09 18th EACSL Annual Conference on Computer Science Logic (2009)
Congresso (Membro da Comissão Organizadora)
 Universidade de Coimbra Centro de Informatica e Sistemas, Portugal
2005/09 - 2007/07 Category Theory seminar - organizer of the regular sessions (2005 - 2007)
Seminário (Coorganizador)
 Universidade de Coimbra Centro de Matemática, Portugal
2007/06 - 2007/06 Category Theory 2007 [Carvoeiro, Algarve] (2007)
Congresso (Membro da Comissão Organizadora)
 Universidade de Coimbra Centro de Matemática, Portugal
2006/01 - 2006/01 Days in Logic '06 (2006)
Oficina (workshop) (Coorganizador)
 Universidade de Coimbra Centro de Matemática, Portugal
2001/04 - 2001/04 IV Iberoamerican conference on Topology and its Applications (2001)
Congresso (Membro da Comissão Organizadora)
 Universidade de Coimbra Centro de Matemática, Portugal
1999/07 - 1999/07 Category Theory 1999 (2015)
Congresso (Membro da Comissão Organizadora)
 Universidade de Coimbra Centro de Matemática, Portugal

Júri de grau académico

Tema
Tipo de participação 		Nome do candidato (Tipo de grau)
Instituição / Organização
2023/07 Ser professor é dar o exemplo.
Arguente
 Carolina da Silva Teotónio (Mestrado)
Universidade de Coimbra, Portugal
2022/07 Ser Professor, Como Tudo Começa.
Arguente
 Sofia Duarte Marques (Mestrado)
2019/09 Generalized enriched categories: exponentiation ans injectivity.
Vogal
 Willian Ribeiro Valencia da Silva (Doutoramento)
Universidade de Coimbra, Portugal
2018/07 Estudo de Funçõoes e Derivadas.
Arguente
 Lídia Maria do Espírito Santo (Mestrado)
2017/09 Descent Theory of (T,V)-Categories: Global-Descent and Étale-Descent.
Vogal
 Pier Giorgio Basile (Doutoramento)
Universidade de Coimbra, Portugal
2014/05 Topologia via categorias enriquecidas.
Arguente principal
 Carla Reis (Doutoramento)
Universidade de Aveiro, Portugal
2013/07 Variedades de Álgebras Topológicas
Arguente principal
 Lucas Taylor Earl (Mestrado)
Universidade de Coimbra, Portugal
2013/07 Ser Professor: a confirmação de uma vocação.
Arguente
 Diogo Nobre de Barros Ribeiro da Silva. (Mestrado)
Universidade de Coimbra, Portugal
2012/06 Dualidades na Lógica Modal
Arguente principal
 Pedro Miguel Teixeira Olhero Pessoa Nora (Mestrado)
Universidade de Aveiro, Portugal
2010/09 Uma possível demonstração Trigonométrica do Teorema de Pitágoras.
Arguente
 Paula Cristina Oliveira de Carvalho (Mestrado)
Universidade de Coimbra, Portugal
2009/12 Anéis de valuação e valuações.
Arguente principal
 Olga Nobre Lima (Mestrado)
Universidade de Aveiro, Portugal
2009/09 Fundamentos Matemáticos da Programação Funcional.
Arguente principal
 Alexandra Isabel Fernandes Espinha (Mestrado)
Universidade de Aveiro, Portugal
2009/07 Geometria Hiperbólica e a sua implementação em contexto escolar.
Presidente do júri
 Sandra Marta Marques Perdido (Mestrado)
Universidade de Coimbra, Portugal
2009/07 Aritmética Modular - algumas aplicações.
Arguente
 Maria Teresa dos Santos Joaquim (Mestrado)
Universidade de Coimbra, Portugal
2006/10 Dualidades Naturais.
Arguente principal
 Sandra Margarida Barreto Oliveira (Mestrado)
Universidade de Aveiro, Portugal
2005/04 A Matemática da Escolha Social.
Arguente
 Marisa Lapa Toste (Mestrado)
Universidade de Coimbra, Portugal

Arbitragem científica em conferência

Nome da conferência Local da conferência
2011 - 2011 EBL - encontro da Sociedade Brasileira de Lógica

Membro de associação

Nome da associação Tipo de participação
1998 - Atual Sociedade Portuguesa de Matemática Vice-president of the regional section between 2013 and 2015.
2000/10 - 2003/06 KatMAT research group - Kategorielle Methoden in Algebra und Topologie [U. Bremen]

Membro de comissão

Descrição da atividade
Tipo de participação 		Instituição / Organização
2005 - Atual Member of the Problems Committee of the Portuguese Mathematics Olympiads (OPM)
Membro
 Sociedade Portuguesa de Matemática, Portugal
2015/12 - 2021/07 Comissão dos Recursos Lectivos do Departamento de Matemática [President between 2019 and 2021]
Presidente / Vice-presidente
 Universidade de Coimbra Departamento de Matemática, Portugal

Outro júri / avaliação

Descrição da atividade Instituição / Organização
2006 - Atual Jury of the final of Portuguese Mathematical Olympiad. Sociedade Portuguesa de Matemática, Portugal
2019/06 - 2019/06 Doctoral Thesis Project - Ana Belen Avilez Garcia, Zero sublocales, normality and z-embeddings. Universidade de Coimbra, Portugal
2019 - 2019 Evaluation for the Doctoral Fellowship program of the Austrian Academy of Sciences Österreichische Akademie der Wissenschaften, Áustria
2018/09 - 2018/09 XXXIII Iberoamericam Mathematical Olympiad - Member of the International Jury Sociedade Portuguesa de Matemática, Portugal

Real Sociedad Matemática Española, Espanha
2017/09 - 2017/09 Doctoral Thesis Project - Eros Martinelli, Multicategories, Yoneda structures, and all that. Universidade de Aveiro, Portugal
2008/06 - 2008/07 49th IMO, International Mathematical Olympiad - Member of the International Jury Real Sociedad Matemática Española, Espanha

Revisão ad hoc de artigos em revista

Nome da revista (ISSN) Editora
2022 - Atual European Journal of Combinatorics Elsevier
2009 - Atual Applied Categorical Stuctures Springer
2006 - Atual Topology and its Applications Elsevier
2005 - Atual Mathematical Logic Quarterly Wiley
2017 - 2017 Commentationes Mathematicae Universitatis Carolinae Faculty of Mathematics and Physics of Charles University, Prague, Czech Republic.
2011 - 2011 Gazeta de Matemática Sociedade Portuguesa de Matemática
2008 - 2009 Quaestiones Mathematicae Taylor & Francis
2006 - 2006 Collectanea Mathematica Springer
2004 - 2004 Revista Colombiana de Matemáticas Universidad Nacional de Colombia (Bogotá)

Tutoria

Tópico Nome do aluno
2015/02 - 2015/06 O Axioma da Escolha em Conjuntos Ordenados. Bruna Daniela Carvalho Rodrigues
2015/02 - 2015/06 O Axioma da Escolha em Análise Real. Catarina Isabel Pereira Carrilho
2015/02 - 2015/06 Axioma da Escolha em Álgebra Linear. Rui Guilherme da Silva Valente
2014/02 - 2014/06 Teorema da extensão de Tietze. André Martins Rodrigues
2014/02 - 2014/02 Números Ordinais. António Goucha
2013/02 - 2013/06 Completamento de espaços métricos. Azuaite Aramis Schneider
2008/02 - 2008/06 Quantos Guardas são Necessários para Guardar um Museu? Filipa Alexandra das Neves Ventura
2008/02 - 2008/06 Números Ordinais. Filipa Alexandra Cardoso da Silva
2008/02 - 2008/06 Comunicar sem erros. Marco André Mendes Vaz
2008/02 - 2008/06 Completamento de espaços métricos Sara Filipa Antunes da Cruz