???global.info.a_carregar???
Identificação

Identificação pessoal

Nome completo
Mário Jorge Edmundo

Nomes de citação

  • Edmundo, Mário J.

Identificadores de autor

Ciência ID
0310-CC24-B3B5
ORCID iD
0000-0002-3350-9271
Researcher Id
P-3392-2015
Formação
Grau Classificação
2000
Concluído
 DPhil In Mathematics (Doutoramento)
Especialização em Mathematics
University of Oxford, Reino Unido
"O-minimal Expansions of Groups" (TESE/DISSERTAÇÃO)
1995
Concluído
 Matemática (Licenciatura)
Especialização em Matemática Pura
Universidade do Porto, Portugal
Percurso profissional

Ciência

Categoria Profissional
Instituição de acolhimento 		Empregador
2002/01 - 2003/08 Pós-doutorado (Investigação) University of Oxford Mathematical Institute, Reino Unido
University of Oxford Mathematical Institute, Reino Unido
(...)
2000/01 - 2001/12 Investigador (Investigação) University of Oxford Mathematical Institute, Reino Unido
University of Oxford Mathematical Institute, Reino Unido

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento 		Empregador
2015 - Atual Professor Associado (Docente Universitário) Universidade de Lisboa, Portugal
Universidade de Lisboa Faculdade de Ciências, Portugal
2005 - 2015 Professor Auxiliar (Docente Universitário) Universidade Aberta, Portugal
Universidade Aberta, Portugal
2003 - 2005 Assistente (Docente Universitário) Universidade Aberta, Portugal
Universidade Aberta, Portugal
Projetos

Bolsa

Designação Financiadores
2009/01/01 - 2009/06/26 Fields Institute program grant: Thematic program on o-minimal structures and real analytic geometry
no number
Investigador
The Fields Institute for Research in Mathematical Sciences, Canadá
 The Fields Institute for Research in Mathematical Sciences
Concluído
2005/01/17 - 2005/06/15 Program on Model Theory and Applications to Algebra and Analysis - Issac Newton Institute for Mathematical Sciences
No number
Investigador
Issac Newton Institute for Mathematical Sciences, Cambridge University, Reino Unido
 Fundação Calouste Gulbenkian
Concluído
2002/01/01 - 2003/08/31 COHOMOLOGY, K-THEORY AND SHEAVES IN O-MINIMAL STRUCTURES
SFRH/BPD/6015/2001
Bolseiro de Pós-Doutoramento
Universidade de Lisboa Centro de Matemática Aplicações Fundamentais e Investigação Operacional, Portugal

University of Oxford Mathematical Institute, Reino Unido
Fundação para a Ciência e a Tecnologia
Concluído
2000 - 2001 EPSRC (Engineering and Physical Sciences Research Council) Postdoctorial Fellowship in Mathematics and Theoretical Physics
GR/M66332
Bolseiro de Investigação
University of Oxford Mathematical Institute, Reino Unido
 Engineering and Physical Sciences Research Council
Concluído
1995 - 1999 FCT PhD grant
PRAXIS XII/BD/5915/96
Bolseiro de Doutoramento
University of Oxford Mathematical Institute, Reino Unido
 Fundação para a Ciência e a Tecnologia
Concluído

Projeto

Designação Financiadores
2012/12/01 - 2014/11/30 Model Theory and Algebraic Analysis
272021
Orientador
Universidade de Lisboa Centro de Matemática Aplicações Fundamentais e Investigação Operacional, Portugal
 European Commission Third Framework Programme
Concluído
2012/02 - 2014/01 Applications and extensions of o-minimality
grant.Provided by PTCRIS: 122844
Investigador responsável
Universidade de Lisboa Centro de Matemática Aplicações Fundamentais e Investigação Operacional, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2010/02 - 2012/01 On o-minimality and definably compact groups
grant.Provided by PTCRIS: 101740
Investigador responsável
Universidade de Lisboa Centro de Matemática Aplicações Fundamentais e Investigação Operacional, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2011/01/01 - 2011/12/31 Lisbon - Dijon, O- minimality and quantifier elimination for quasi-analytic algebras of functions, and application to non-oscillation problems in dynamical systems
cnrs128447776310533
Investigador responsável
Universidade de Lisboa Centro de Matemática Aplicações Fundamentais e Investigação Operacional, Portugal
 Fundação para a Ciência e a Tecnologia

Centre National de la Recherche Scientifique
Concluído
2010/01/01 - 2010/12/31 Lisbon-Lyon, Model Theory
cnrs125413551222198
Investigador responsável
Universidade de Lisboa Centro de Matemática Aplicações Fundamentais e Investigação Operacional, Portugal
 Fundação para a Ciência e a Tecnologia

Centre National de la Recherche Scientifique
Concluído
Produções

Publicações

Artigo em conferência
  1. Edmundo, Mário. "Covering definable manifolds by open definable subsets". Trabalho apresentado em Logic Colloquium 2005, Athens, 2005.
    Publicado • 10.1017/cbo9780511546464.004
  2. Edmundo, Mário. "On Solvable groups and rings definable in o-minimal structures". Trabalho apresentado em Logic Colloquium'99, Utrecht, 1999.
    Publicado
Artigo em revista
  1. Pablo Cubides Kovacsics; Mário Edmundo; Jinhe Ye. "Cohomology of algebraic varieties over non-archimedean fields". Forum of Mathematics, Sigma 10 (2022): http://dx.doi.org/10.1017/fms.2022.84.
    10.1017/fms.2022.84
  2. Bruno Dinis; Mário J. Edmundo; Marcello Mamino. "Fundamental group in o-minimal structures with definable Skolem functions". Annals of Pure and Applied Logic 172 8 (2021): 102975-102975. http://dx.doi.org/10.1016/j.apal.2021.102975.
    10.1016/j.apal.2021.102975
  3. Edmundo, Mário J.; Prelli, Luca. "The six Grothendieck operations on o-minimal sheaves". Mathematische Zeitschrift 294 1-2 (2019): 109-160. http://dx.doi.org/10.1007/s00209-019-02274-0.
    Publicado • 10.1007/s00209-019-02274-0
  4. Edmundo, M.J.; Mamino, M.; Prelli, L.; Ramakrishnan, J.; Terzo, G.. "On Pillay's conjecture in the general case". Advances in Mathematics 310 (2017): 940-992. http://www.scopus.com/inward/record.url?eid=2-s2.0-85013834370&partnerID=MN8TOARS.
    10.1016/j.aim.2017.02.015
  5. Mário J. Edmundo; Luca Prelli. "Invariance of o-minimal cohomology with definably compact supports". Confluentes Mathematici 7 1 (2016): 35-53. http://dx.doi.org/10.5802/cml.17.
    10.5802/cml.17
  6. Edmundo, M.J.; Mamino, M.; Prelli, L.. "On definably proper maps". Fundamenta Mathematicae 233 1 (2016): 1-36. http://www.scopus.com/inward/record.url?eid=2-s2.0-84959891640&partnerID=MN8TOARS.
    10.4064/fm96-12-2015
  7. Edmundo, M.J.; Prelli, L.. "Sheaves on T-topologies". Journal of the Mathematical Society of Japan 68 1 (2016): 347-381. http://www.scopus.com/inward/record.url?eid=2-s2.0-85000427894&partnerID=MN8TOARS.
    10.2969/jmsj/06810347
  8. Edmundo, Mário J.; Prelli, Luca. "O-minimality and sheaf Cohomology". Boletim da Sociedade Portuguesa de Matemática 2016 (2016): 99-102.
    Publicado
  9. Edmundo, M.J.; Prelli, L.. "The six Grothendieck operations on o-minimal sheaves". Comptes Rendus Mathematique 352 6 (2014): 455-458. http://www.scopus.com/inward/record.url?eid=2-s2.0-84901627598&partnerID=MN8TOARS.
    10.1016/j.crma.2014.03.021
  10. Edmundo, M.J.; Eleftheriou, P.E.; Prelli, L.. "Coverings by open cells". Archive for Mathematical Logic 53 3-4 (2014): 307-325. http://www.scopus.com/inward/record.url?eid=2-s2.0-84899455606&partnerID=MN8TOARS.
    10.1007/s00153-014-0367-x
  11. Edmundo, M.J.; Eleftheriou, P.E.; Prelli, L.. "The universal covering map in o-minimal expansions of groups". Topology and its Applications 160 13 (2013): 1530-1556. http://www.scopus.com/inward/record.url?eid=2-s2.0-84882867402&partnerID=MN8TOARS.
    10.1016/j.topol.2013.05.025
  12. Berarducci, A.; Edmundo, M.; Mamino, M.. "Discrete subgroups of locally definable groups". Selecta Mathematica, New Series 19 3 (2013): 719-736. http://www.scopus.com/inward/record.url?eid=2-s2.0-84880778329&partnerID=MN8TOARS.
    10.1007/s00029-013-0123-9
  13. Edmundo, M.J.; Terzo, G.. "A note on generic subsets of definable groups". Fundamenta Mathematicae 215 1 (2011): 53-65. http://www.scopus.com/inward/record.url?eid=2-s2.0-80155196730&partnerID=MN8TOARS.
    10.4064/fm215-1-3
  14. Edmundo, M.J.. "On the Euler characteristic of definable groups". Mathematical Logic Quarterly 57 1 (2011): 44-46. http://www.scopus.com/inward/record.url?eid=2-s2.0-79551544636&partnerID=MN8TOARS.
    10.1002/malq.200910126
  15. Araújo, J.; Edmundo, M.; Givant, S.. "V*-algebras, independence algebras and logic". International Journal of Algebra and Computation 21 7 (2011): 1237-1257. http://www.scopus.com/inward/record.url?eid=2-s2.0-82955169589&partnerID=MN8TOARS.
    10.1142/S0218196711006923
  16. Edmundo, M.J.; Jones, G.O.; Peatfield, N.J.. "Invariance results for definable extensions of groups". Archive for Mathematical Logic 50 1-2 (2011): 19-31. http://www.scopus.com/inward/record.url?eid=2-s2.0-79251646628&partnerID=MN8TOARS.
    10.1007/s00153-010-0196-5
  17. Edmundo, M.J.; Prelli, L.. "Poincaré - Verdier duality in o-minimal structures". Annales de l'Institut Fourier 60 4 (2010): 1259-1288. http://www.scopus.com/inward/record.url?eid=2-s2.0-78349299426&partnerID=MN8TOARS.
  18. Edmundo, M.J.; Terzo, G.. "On freely generated E-subrings". Journal of Pure and Applied Algebra 213 5 (2009): 690-697. http://www.scopus.com/inward/record.url?eid=2-s2.0-58849128593&partnerID=MN8TOARS.
    10.1016/j.jpaa.2008.09.013
  19. Edmundo, M.J.; Woerheide, A.. "The Lefschetz coincidence theorem in o-minimal expansions of fields". Topology and its Applications 156 15 (2009): 2470-2484. http://www.scopus.com/inward/record.url?eid=2-s2.0-68249114529&partnerID=MN8TOARS.
    10.1016/j.topol.2009.07.002
  20. Edmundo, M.J.; Eleftheriou, P.E.. "Definable group extensions in semi-bounded o-minimal structures". Mathematical Logic Quarterly 55 6 (2009): 598-604. http://www.scopus.com/inward/record.url?eid=2-s2.0-76749148133&partnerID=MN8TOARS.
    10.1002/malq.200910027
  21. Baro, E.; Edmundo, M.J.. "Corrigendum to "Locally definable groups in o-minimal structures" [J. Algebra 301 (2006) 194-223] (DOI:10.1016/j.jalgebra.2005.04.016)". Journal of Algebra 320 7 (2008): 3079-3080. http://www.scopus.com/inward/record.url?eid=2-s2.0-49549122195&partnerID=MN8TOARS.
    10.1016/j.jalgebra.2008.07.010
  22. Edmundo, M.J.; Peatfield, N.J.. "o-minimal Cech cohomology". Quarterly Journal of Mathematics 59 2 (2008): 213-220. http://www.scopus.com/inward/record.url?eid=2-s2.0-45849128258&partnerID=MN8TOARS.
    10.1093/qmath/ham036
  23. Edmundo, M.J.; Woerheide, A.. "Comparison theorems for o-minimal singular (co)homology". Transactions of the American Mathematical Society 360 9 (2008): 4889-4912. http://www.scopus.com/inward/record.url?eid=2-s2.0-68249087476&partnerID=MN8TOARS.
    10.1090/S0002-9947-08-04403-6
  24. Edmundo, M.J.. "Erratum to: "Covers of groups definable in o-minimal structures" [Ollinois J. Math. 49 (2005), 99-120]". Illinois Journal of Mathematics 51 3 (2007): 1037-1038. http://www.scopus.com/inward/record.url?eid=2-s2.0-46849107320&partnerID=MN8TOARS.
  25. Cluckers, R.; Edmundo, M.. "Integration of positive constructible functions against Euler characteristic and dimension". Journal of Pure and Applied Algebra 208 2 (2007): 691-698. http://www.scopus.com/inward/record.url?eid=2-s2.0-33750841052&partnerID=MN8TOARS.
    10.1016/j.jpaa.2006.03.005
  26. Edmundo, M.J.. "A fixed point theorem in o-minimal structures". Annales de l'Institut Fourier 57 5 (2007): 1441-1450. http://www.scopus.com/inward/record.url?eid=2-s2.0-36248953931&partnerID=MN8TOARS.
  27. Edmundo, M.J.; Eleftheriou, P.E.. "The universal covering homomorphism in o-minimal expansions of groups". Mathematical Logic Quarterly 53 6 (2007): 571-582. http://www.scopus.com/inward/record.url?eid=2-s2.0-35949004414&partnerID=MN8TOARS.
    10.1002/malq.200610051
  28. Berarducci, A.; Edmundo, M.; Otero, M.. "Erratum: Transfer methods for o-minimal topology: The Journal of Symbolic Logic". Journal of Symbolic Logic 72 3 (2007): 1079-1080. http://www.scopus.com/inward/record.url?eid=2-s2.0-35448939547&partnerID=MN8TOARS.
    10.2178/jsl/1191333858
  29. Edmundo, M.J.. "Locally definable groups in o-minimal structures". Journal of Algebra 301 1 (2006): 194-223. http://www.scopus.com/inward/record.url?eid=2-s2.0-33646707843&partnerID=MN8TOARS.
    10.1016/j.jalgebra.2005.04.016
  30. Edmundo, Mário. "SHEAF COHOMOLOGY IN o-MINIMAL STRUCTURES". (2006):
    10.1142/s0219061306000566
  31. Edmundo, M.J.. "Covers of groups definable in o-minimal structures". Illinois Journal of Mathematics 49 1 (2005): 99-120. http://www.scopus.com/inward/record.url?eid=2-s2.0-28844493624&partnerID=MN8TOARS.
  32. Edmundo, M.J.. "A remark on divisibility of definable groups". Mathematical Logic Quarterly 51 6 (2005): 639-641. http://www.scopus.com/inward/record.url?eid=2-s2.0-27744494133&partnerID=MN8TOARS.
    10.1002/malq.200510014
  33. EDMUNDO, MÁRIO J.; OTERO, MARGARITA. "DEFINABLY COMPACT ABELIAN GROUPS". Journal of Mathematical Logic 04 02 (2004): 163-180. http://dx.doi.org/10.1142/s0219061304000358.
    Publicado • 10.1142/s0219061304000358
  34. Edmundo, M.J.. "Solvable groups definable in o-minimal structures". Journal of Pure and Applied Algebra 185 1-3 (2003): 103-145. http://www.scopus.com/inward/record.url?eid=2-s2.0-0141649275&partnerID=MN8TOARS.
    10.1016/S0022-4049(03)00085-9
  35. Edmundo, M.J.. "Structure theorems for o-minimal expansions of groups". Annals of Pure and Applied Logic 102 1-3 (2000): 159-181. http://www.scopus.com/inward/record.url?eid=2-s2.0-0141584666&partnerID=MN8TOARS.
Tese / Dissertação
  1. Schimura, Ricardo Mateus. "Some examples of quantifier elimination and o-minimality". Mestrado, 2021. http://hdl.handle.net/10451/51256.
  2. Raimundo, António Pedro da Silva. "10º problema de Hilbert para subanéis de Q". Mestrado, 2014. http://hdl.handle.net/10400.2/4420.
  3. Inácio, Maria do Rosário Dinis. "Polimorfismo atómico e o teorema da normalização forte". Mestrado, 2014. http://hdl.handle.net/10400.2/3310.
  4. Augusto, Luís Manuel da Silva. "Demonstração automática de teoremas em lógicas não clássicas : resolução assinalada para lógicas multivalentes". Mestrado, 2013. http://hdl.handle.net/10400.2/3237.
Atividades

Apresentação oral de trabalho

Título da apresentação Nome do evento
Anfitrião (Local do evento)
2023/09 On proper direct image and ... other crazy images in my mind! Colóquio de Matemática
Departamento de Matemática, Faculdade de Ciências da Universidade de Lisboa (Lisboa, Portugal)
2022/08 Logic and algebraic varieties in non-archimedean fields Encontro Conjunto Brasil-Portugal em Matemática
Universidade Federal da Bahia (Salvador da Baia, Brasil)
2022/07 (co)homology of algebraic varieties over non-archimedean fields Workshop on Practical and Structural Model Theory
University of Leeds (Leeds, Reino Unido)
2020/09 Logic and algebraic varieties in non-archimedean fields Encontros Abertos do CMAFcIO
Centro de Matemática e Aplicações Fundamentais e Investigação Operacional da Universidade de Lisboa (Lisboa, Portugal)

Orientação

Título / Tema
Papel desempenhado 		Curso (Tipo)
Instituição / Organização
2023 - Atual O-minimality and sub-analytic geometry
Orientador
 Matemática (Doutoramento)
Universidade de Lisboa Faculdade de Ciências, Portugal
2019 - 2021 Some examples of quantifier elimination and o-minimality
Orientador
 Matemática (Mestrado)
Universidade de Lisboa Faculdade de Ciências, Portugal
2012 - 2015 10º Problema de Hilbert para SubAnéis de Q
Orientador
 Estatística, Matemática e Computação (Mestrado)
Universidade Aberta, Portugal
2012/12/01 - 2014/11/30 Marie Curie Intra-European Fellowships
Orientador de Luca Prelli (PhD at University of Padova, Italy, and University of Paris 6, France 2006)
Universidade de Lisboa Centro de Matemática Aplicações Fundamentais e Investigação Operacional, Portugal
2008/07/01 - 2014/06/30 FCT Postdoc grant
Orientador de Tamara Servi (PhD at Scuola Normale Superiore di Pisa, Italy, 2007)
Universidade de Lisboa Centro de Matemática Aplicações Fundamentais e Investigação Operacional, Portugal
2012 - 2014 Demonstração Automática de Teoremas em Lógicas Não Clássicas: Resolução Assinalada para Lógicas Multivalentes
Coorientador
 Estatística, Matemática e Computação (Mestrado)
Universidade Aberta, Portugal
2012 - 2014 Polimorfismo Atómico e o Teorema de Normalização Forte
Coorientador
 Estatística, Matemática e Computação (Mestrado)
Universidade Aberta, Portugal
2011/04/01 - 2013/08/31 FCT Postdoc grant
Orientador de Marcello Mamino (PhD at Scuola Normale Superiore di Pisa, Italy, 2010)
Universidade de Lisboa Centro de Matemática Aplicações Fundamentais e Investigação Operacional, Portugal
2007/07/01 - 2013/06/30 FCT Postdoc grant
Orientador de Alexander Usvyatsov (PhD at The Hebrew University in Jerusa- lem, Israel, 2006)
Universidade de Lisboa Centro de Matemática Aplicações Fundamentais e Investigação Operacional, Portugal
2010/10/01 - 2012/09/30 FCT Postdoc grant
Orientador de Janak Ramakrishnan (PhD at University of California, Berkeley, USA, 2008)
Universidade de Lisboa Centro de Matemática Aplicações Fundamentais e Investigação Operacional, Portugal
2009/09/01 - 2012/08/31 FCT Postdoc grant
Orientador de Ayhan Gunaydin (PhD at University of Illinois at Urbana-Champaign, USA, 2008)
Universidade de Lisboa Centro de Matemática Aplicações Fundamentais e Investigação Operacional, Portugal
2008/07/01 - 2011/06/30 FCT Postdoc grant
Orientador de Pantellemon Eleftheirou (PhD at University of Notre Dame, USA, 2007
Universidade de Lisboa Centro de Matemática Aplicações Fundamentais e Investigação Operacional, Portugal
2007/11/01 - 2008/08/31 FCT Postdoc grant
Orientador de Giuseppina Terzo (PhD at University of Naples Frederico II, Italy, 2006)
Universidade de Lisboa Centro de Matemática Aplicações Fundamentais e Investigação Operacional, Portugal
2007/01/08 - 2007/10/31 CMAF Postdoc grant
Orientador de Giuseppina Terzo (PhD at University of Naples Frederico II, Italy, 2006)
Universidade de Lisboa Centro de Matemática Aplicações Fundamentais e Investigação Operacional, Portugal
2005/01/10 - 2005/12/31 CMAF Postdoc grant
Orientador de Nicholas Peatfield (DPhil at University of Oxford, England, 2003)
Universidade de Lisboa Centro de Matemática Aplicações Fundamentais e Investigação Operacional, Portugal

Expedição científica

Descrição da atividade Instituição / Organização
2009/01/01 - 2009/06/26 Visitor at the Fields Institute for Research in Mathematical Sciences The Fields Institute for Research in Mathematical Sciences, Canadá
2005/01/17 - 2005/07/15 Visitor at the Isaac Newton Institute for Mathematical Sciences University of Cambridge Isaac Newton Institute for Mathematical Sciences, Reino Unido
1998/01/01 - 1998/06/30 Student Associate at MSRI Berkeley Mathematical Sciences Research Institute, Estados Unidos
1996/08/01 - 1997/07/31 Visiting Student at the Fields Institute for Research in Mathematical Sciences The Fields Institute for Research in Mathematical Sciences, Canadá

Membro de associação

Nome da associação Tipo de participação
2005/01/01 - 2008/12/31 European Research and Training Network MODNET (Model Theory) Researcher
2002/09/01 - 2003/09/01 European Research and Training Network RAAG (Real Algebraic and Analytic Geometry) Researcher

Outro júri / avaliação

Descrição da atividade Instituição / Organização
2022 - Atual External evaluator of research projects in Mathematics for Agencia Estatal de Investigation (AEI), Spain.
2014 - 2017 External evaluator of research projects in Mathematics for the Agencia Nacional de Evaluacion e Prospectiva (ANEP), Spain.
2013 - 2013 External evaluator of research projects in Mathematics for Convocatória de Ciências Básicas 2013 de la Faculdad de Ciências, Universidade de Los Andes, Bogotá, Colombia.

Revisão ad hoc de artigos em revista

Nome da revista (ISSN) Editora
2023 - Atual Illinois Journal of Mathematics Duke University Press
2023 - Atual Mathematical Logic Quarterly (0942-5616) Wiley
2022 - Atual Journal of the Institute of Mathematics Jussieu (1475-3030) Cambridge University Press
2020 - Atual Bulletin of the London Mathematical Society (1495-2120) London Mathematical Society
2020 - Atual Pacific Journal of Mathematics (1945-5844) Mathematical Sciences Publishers
2018 - Atual Advances in Mathematics (1090-2082) Science Direct
2018 - Atual Journal of the London Mathematical Society (1469-7750) London Mathematical Society
2016 - Atual Archive for Mathematical Logic (1432-0665) Springer
2015 - Atual Selecta Mathematica (New Series) (1420-9020) Springer
2013 - Atual Revista Colombiana de Matemáticas (2357-4100) Sociedad Colombiana de Matemáticas
2012 - Atual Proceedings of the London Mathematical Society (0024-6115) London Mathematical Society
2011 - Atual Annales Polonici Mathematici (1730-6272) Polish Academy of Sciences
2010 - Atual Journal of Mathematical Logic (1793-6691) World Scientific
2010 - Atual Journal of Symbolic Logic (1943-5886) Cambridge University Press
2009 - Atual Portugaliae Mathematica (1662-2758) European Mathematical Society
2007 - Atual Annals of Pure and Applied Logic (1873-2471) Science Direct
2007 - Atual Fundamenta Mathematicae (1730-6329) Polish Academy of Sciences