???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.
Identification

Personal identification

Full name
Gonçalo Gutierres da Conceição
Gender
Male

Citation names

  • Gutierres, Gonçalo

Author identifiers

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

Addresses

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

Websites

Knowledge fields

  • Exact Sciences - Mathematics - Pure Mathematics

Languages

Language Speaking Reading Writing Listening Peer-review
Portuguese (Mother tongue)
English Upper intermediate (B2) Advanced (C1) Upper intermediate (B2) Advanced (C1) Advanced (C1)
German Elementary (A2) Elementary (A2) Beginner (A1) Intermediate (B1)
Spanish; Castilian Intermediate (B1) Upper intermediate (B2) Beginner (A1) Upper intermediate (B2) Intermediate (B1)
French Beginner (A1) Intermediate (B1) Beginner (A1) Elementary (A2)
Education
Degree Classification
2000 - 2004
Concluded
 Matemática (Doutoramento)
Universidade de Coimbra, Portugal
"O Axioma da Escolha Numerável em Topologia // The Axiom of Countable Choice in Topology" (THESIS/DISSERTATION)
1995 - 1998
Concluded
 Matemática (Mestrado)
Universidade de Coimbra, Portugal
"Conexidade em Categorias // Connectedness in Categories" (THESIS/DISSERTATION)
1991 - 1995
Concluded
 Matemática (Licenciatura)
Universidade de Coimbra, Portugal
Affiliation

Teaching in Higher Education

Category
Host institution 		Employer
2004/06 - Current Assistant Professor (University Teacher) Universidade de Coimbra, Portugal
1998/05 - 2004/06 Assistant (University Teacher) Universidade de Coimbra, Portugal
1995/11 - 1998/05 Trainee Assistant (University Teacher) Universidade de Coimbra, Portugal
Projects

Grant

Designation Funders
2006 - 2007 Fundamental Methods and Techniques in Mathematics
WO.012.06N
Researcher
Concluded
2000/10/01 - 2003/07/31 PRINCÍPIOS DE ESCOLHA EM TOPOLOGIA GERAL
SFRH/BD/1340/2000
PhD Student Fellow
Fundação para a Ciência e a Tecnologia
Concluded
1999/01 - 2002/09 Atlantis: New Avenues in the Teaching of Mathematics
ATLANTIS
PhD Student Fellow
Concluded
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
Master Student Fellow
Universidade de Coimbra Centro de Matemática, Portugal
 Fundação para a Ciência e a Tecnologia
Concluded
1996/01 - 1997/09 Categorical Theory of closure operators: Topology in categories
CRG 940847
Master Student Fellow
NATO Parliamentary Assembly
Concluded

Contract

Designation Funders
2020/01/01 - 2024/12/31 Center for Mathematics, University of Coimbra
UIDP/00324/2020
Researcher
Universidade de Coimbra Centro de Matemática, Portugal
 Fundação para a Ciência e a Tecnologia
Ongoing
2019/01/01 - 2019/12/31 Center for Mathematics, University of Coimbra
UID/MAT/00324/2019
Researcher
Universidade de Coimbra Centro de Matemática, Portugal
 Fundação para a Ciência e a Tecnologia
Concluded
2013/01/01 - 2018/12/31 Center for Mathematics, University of Coimbra
UID/MAT/00324/2013
Researcher
Universidade de Coimbra Centro de Matemática, Portugal
 Fundação para a Ciência e a Tecnologia
Concluded
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
Researcher
Universidade de Coimbra Centro de Matemática, Portugal
 Fundação para a Ciência e a Tecnologia
Concluded
1997/09 - 1999/11 ACL - Algebraic Combination of Logics
PCEX/P/MAT/46/96
Master Student Fellow
Universidade de Coimbra Centro de Matemática, Portugal
 Fundação para a Ciência e a Tecnologia
Concluded
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
Master Student Fellow
Universidade de Coimbra Centro de Matemática, Portugal
 Fundação para a Ciência e a Tecnologia
Concluded
Outputs

Publications

Conference abstract
  1. Gutierres, Gonçalo; Mamede, Ricardo; Santos, José Luis Esteves dos. "The diameter of the commutation graph of a permutation". Paper presented in 8th Iberian Mathematical Meeting, Sevilha, 2022.
    Published
  2. Gutierres, Gonçalo. "Bases in (pre)topological spaces without the Axiom of Choice". Paper presented in 2019 Interdisciplinary Colloquium in Topology and its Applications, Vigo, 2019.
    Published
Conference paper
  1. Gutierres, Gonçalo; Hofmann, Dirk. "Continuous metrics". Paper presented in Topology, Algebra and Categories in Logic, Marselha, 2011.
    Published
  2. Gutierres, Gonçalo; Hofmann, Dirk. "Metric compact Hausdorff spaces". Paper presented in Topology, Algebra, and Categories in Logic, Marselha, 2011.
    Published
Conference poster
  1. Gutierres, Gonçalo. "The graph(s) of reduced words of a permutation". Paper presented in 8th Iberian Mathematical Meeting, 2022.
  2. Gutierres, Gonçalo. "Bases in (pre)topological spaces without the Axiom of Choice". Paper presented in 2019 Interdisciplinary Colloquium in Topology and its Applications, 2019.
Exhibition catalog
  1. Gutierres, Gonçalo. Scientific review of the reissue of the exhibition "Visual Proofs", and coordination of the Support Guide. SPM/DM-FCTUC, 2011.
Journal article
  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.
    Published • 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):
    Accepted • 10.1007/s10485-011-9274-z
  8. Gutierres, Gonçalo. "The Ultrafilter Closure in ZF". Mathematical Logic Quarterly 56 3 (2010): 331-336.
    Published • 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.
    Published
  10. Gutierres, Gonçalo. "On countable choice and sequential spaces". MLQ 54 2 (2008): 145-152.
    Published • 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.
    Published • 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.
    Published • 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.
    Published • 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.
    Published • 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.
    Published • 10.1002/malq.200310029
Manual
  1. Gutierres, Gonçalo. Notas de Apoio à disciplina de Matemática, 1st year, Pharmaceutical Sciences. 2023.
    Published
  2. Gutierres, Gonçalo. Notas de Apoio à disciplina de Análise Matemática II, 2nd semester, Chemical Engeneering. 2021.
    Published
  3. Gutierres, Gonçalo. Notes on voting theory. 2006.
    Published
Online resource
  1. Gutierres, Gonçalo. D'Hondt method calculator. 2005. https://apps.uc.pt/mypage/faculty/uc25818/en/dhondt.
Preprint
  1. Mamede, Ricardo; Gutierres, Gonçalo; Santos, José Luis Esteves dos. "HAMILTON CYCLES FOR INVOLUTIONS OF CLASSICAL TYPES". 2024.
Thesis / Dissertation
  1. Conceição, Gonçalo Gutierres da. "O axioma da escolha numerável em topologia. // The Axiom of countable choice in topology.". PhD, Universidade de Coimbra, 2004. https://www.mat.uc.pt/~ggutc/teses/teseingles.pdf.
  2. Conceição, Gonçalo Gutierres da. "Conexidade em categorias". Master, Universidade de Coimbra, 1998. hdl.handle.net/10316/14420.
Translation
  1. Gonçalo Gutierres. English translations of Atractor's module "Beautiful triangles". 2014.
Activities

Oral presentation

Presentation title Event name
Host (Event location)
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, Czech Republic)
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, Czech Republic)
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, Greece)
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, France)
2011/03 Co-Approach Frames vs Approach Co-Frames AMS Spring Southeastern Section Meeting
Denison University (Statesboro, United States)
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, Greece)
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, Czech Republic)
2008/06 Ultrafilters, closure operators and the Axiom of Choice. UltraMath 2008 - Applications of Ultrafilters and Ultraproducts in Mathematics
University of Pisa (Pisa, Italy)
2008/06 Totally bounded metric spaces and the Axiom of Choice. VII Iberoamerican conference on Topology and its Applications
University of Valencia (Valencia, Spain)
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, United States)
2005/12 Axioms for sequential convergence. Aspects of Contemporary Topology II
University of Antwerp (Antwerp, Belgium)
2005/07 Completions of metric spaces in ZF. VI Iberoamerican conference on Topology and its Applications
University of Puebla (Puebla, Mexico)
2005/07 Axioms for sequential convergence. 20th Summer Conference on Topology and its Applications
Denison University (Granville, United States)
2004/07 First countability and the Axiom of Choice. 19th Summer Conference on Topology and its Applications
University of Cape Town (Cape Town, South Africa)
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, Germany)
2003/12 Completions of metric spaces in ZF. Aspects of Contemporary Topology
University of Antwerp (Antwerp, Belgium)
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, Spain)
2003/06 First countable spaces and the Axiom of Choice II KatMAT seminar
University of Bremen (Bremen, Germany)
2003/01 First countable spaces and the Axiom of Choice I KatMAT seminar
University of Bremen (Bremen, Germany)
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, Germany)
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, Germany)
2001/08 Is R a sequential space? 9th Prague Topological Symposium
Institute of Mathematics of the Czech Academy of Sciences (Prague, Czech Republic)
2001/06 Is R a sequential space? KatMAT seminar
University of Bremen (Bremen, Germany)
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, Germany)
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, Germany)
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, Spain)
1999/01 Coregular Closure Operators KatMAT seminar
University of Bremen (Bremen, Germany)
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)

Supervision

Thesis Title
Role 		Degree Subject (Type)
Institution / Organization
2021/09 - 2022/07 Os primeiros passos de um longo percurso
Supervisor of Ana Rita Martins das Neves Marques
 Ensino de Matemática no 3.º Ciclo do Ensino Básico e no Secundário (Master)
Universidade de Coimbra Faculdade de Ciencias e Tecnologia, Portugal
2021/09 - 2022/07 Aprendizagens para o Ensino: A cada passo, um novo desafio
Supervisor of Carlos Alberto Ribeiro Ferreira
 Ensino de Matemática no 3.º Ciclo do Ensino Básico e no Secundário (Master)
Universidade de Coimbra Faculdade de Ciencias e Tecnologia, Portugal
2016/06 - 2017/07 O Axioma da Determinabilidade e propriedades dos números reais
Supervisor of José António Rodrigues Alfaiate
 Matemática (Master)
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)
Supervisor of Mahmoud Manafi
 Programa Inter-Universitário de Doutoramento em Matemática (Other)
Universidade de Coimbra, Portugal
2006/09 - 2007/07 Representação proporcional.
Supervisor of Maria Liliana Rodrigues Soares
 Licenciatura em Matemática -ramo educacional (Degree)
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.
Supervisor of Lúcia Tatiana de Oliveira Antunes
 Licenciatura em Matemática - ramo educacional (Degree)
Universidade de Coimbra Faculdade de Ciencias e Tecnologia, Portugal
2004/09 - 2005/07 Geometria Projectiva e Jogos Combinatórios.
Supervisor of Ana Catarina Mendes Faria da Cunha
 Licenciatura em Matemática - ramo educacional (Degree)
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.
Supervisor of João Pedro Senhorães Senra Pinto
 Licenciatura em Matemática - ramo educacional (Degree)
Universidade de Coimbra Faculdade de Ciencias e Tecnologia, Portugal

Event organisation

Event name
Type of event (Role) 		Institution / Organization
2004 - Current Portuguese Category Seminar - 14 editions (2004 - 2023)
Workshop (Member of the Organising Committee)
 Universidade de Coimbra Centro de Matemática, Portugal
2024/07 - 2024/07 38th Summer Conference on Topology and Applications. (2024/07)
Congress (Member of the Organising Committee)
 Universidade de Coimbra Centro de Matemática, Portugal
2022/06 - 2022/06 TACL - Topology, Algebra and Categories in Logic (2022)
Congress (Member of the Organising Committee)
 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)
Workshop (Co-organisor)
 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)
Meeting (Co-organisor)
 Universidade do Porto Centro de Matemática, Portugal
2015/06 - 2015/06 Category Theory 2015 (2015)
Congress (Member of the Organising Committee)
 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)
Conference (Co-organisor)
 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)
Seminar (Co-organisor)
 Universidade de Coimbra Centro de Matemática, Portugal
2012/03/09 - 2012/03/09 8th national championship of mathematical games (2012/03)
Call (Member of the Organising Committee)
 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)
Congress (Member of the Organising Committee)
 Universidade de Coimbra Centro de Informatica e Sistemas, Portugal
2005/09 - 2007/07 Category Theory seminar - organizer of the regular sessions (2005 - 2007)
Seminar (Co-organisor)
 Universidade de Coimbra Centro de Matemática, Portugal
2007/06 - 2007/06 Category Theory 2007 [Carvoeiro, Algarve] (2007)
Congress (Member of the Organising Committee)
 Universidade de Coimbra Centro de Matemática, Portugal
2006/01 - 2006/01 Days in Logic '06 (2006)
Workshop (Co-organisor)
 Universidade de Coimbra Centro de Matemática, Portugal
2001/04 - 2001/04 IV Iberoamerican conference on Topology and its Applications (2001)
Congress (Member of the Organising Committee)
 Universidade de Coimbra Centro de Matemática, Portugal
1999/07 - 1999/07 Category Theory 1999 (2015)
Congress (Member of the Organising Committee)
 Universidade de Coimbra Centro de Matemática, Portugal

Jury of academic degree

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

Ad Hoc journal article review

Journal title (ISSN) Publisher
2022 - Current European Journal of Combinatorics Elsevier
2009 - Current Applied Categorical Stuctures Springer
2006 - Current Topology and its Applications Elsevier
2005 - Current 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á)

Association member

Society Organization name Role
1998 - Current 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]

Committee member

Activity description
Role 		Institution / Organization
2005 - Current Member of the Problems Committee of the Portuguese Mathematics Olympiads (OPM)
Member
 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]
President / Vice-president
 Universidade de Coimbra Departamento de Matemática, Portugal

Conference scientific committee

Conference name Conference host
2011 - 2011 EBL - encontro da Sociedade Brasileira de Lógica

Mentoring / Tutoring

Topic Student name
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

Other jury / evaluation

Activity description Institution / Organization
2006 - Current 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, Austria
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, Spain
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, Spain