Personal Data

Full name

Mário Jorge Edmundo

Publishing name

Mário Jorge Edmundo

Birthday

1972-11-11T00:00:00

Academic Degrees

LICENCIATURA(4)

Degree date

1995

Final grade

16 valores

Degree granting institution

Universidade do Porto

School / College / Campus

Faculdade de Ciências

Thesis title

-

Supervisor

Professor FRS Alex Wilkie

Co-supervisor

-

Scientific area

Matemática Pura

DOUTORAMENTO(4)

Degree date

2000

Final grade

-

Degree granting institution

Outra

School / College / Campus

Other

Thesis title

O-minimal expansions of groups

Supervisor

Professor FRS Alex Wilkie

Co-supervisor

-

Scientific area

Mathematics (model theory)

Profissional activity

Period Position Institution
12/2015 - Professor Associado Universidade de Lisboa, Portugal
09/2005 - 12/2015 Professor Auxiliar Universidade Aberta, Portugal
09/2003 - 09/2005 Assistente Universidade Aberta, Portugal
01/2002 - 08/2003 Pós-doutoramento FCT University of Oxford, England - CMAF Universidade de Lisboa, Portugal
01/2000 - 12/2001 EPSRC Research Fellow in Mathematics University of Oxford, England
01/1998 - 06/1998 Student Associate Mathematical Science Research Institute, Berkeley, U.S.A
08/1996 - 07/1997 Visiting Student The Fields Institute for Research in Mathematical Sciences, Toronto, Canada

Area of scientific activity

Area of scientific activity

Matemática (Lógica matemática, Teoria de modelos)

Mathematics (Mathematical logic, Model theory)

Specialization domain

Teoria de modelos (Lógica matemática). Estruturas o-minimais (teoria de modelos analítica, incluindo geometria semi-algébrica e sub-analítica). Aplicações da Teoria de modelos.

Model theory (Mathematical logic). O-minimal structures (analytic model theory, including semi-algebraic and sub-analytic geometry). Applications of model theory.

Current main scientific area

Feixes e cohomologia em estruturas o-minimais e em geometria real algébrica e sub-analítica; Grupos definíveis em estruturas o-minimais.

Sheaves and cohomology in o-minimal structures and in real algebraic and sub- analytic geometry; Definable groups in o-minimal structures.

Other scientific activities

Grupos topológicos, grupos de Lie; topologia algébrica; feixes em espaços topologicos; algebra homologica; geometria algébrica.

Topological groups, Lie groups; algebraic topology; sheaves in topological spaces; homological algebra; algebraic geometry.

Experience as scientific advisor


Pós-doutoramento (Bolsas Marie Curie)
Post-doc research fellowships (Marie Curie grants)

Luca Prelli (PhD in Mathematics, University of Padova, Italy, and University of Paris 6, France 2006). Marie Curie Intra-European Fellowships (IEF) (FP7- PEOPLE-2010-IEF). CMAF (Centro de Matemática e Aplicações Fundamentais), Universidade de Lisboa, Portugal. 01/12/2012 - 30/11/2014.

Pós-doutoramento (Bolsas FCT)
Post-doc (FCT grants)

Tamara Servi (PhD in Mathematics, Scuola Normale Superiore di Pisa, Italy, 2007). FCT Post-doctorial Research Fellow. CMAF (Centro de Matemáatica e Aplicações Fundamentais), Universidade de Lisboa, Portugal. 01/07/2008 - 30/06/2014.

Marcello Mamino (PhD in Mathematics, Scuola Normale Superiore di Pisa, Italy, 2010). FCT Post-doctorial Research Fellow. CMAF (Centro de Matemática e Aplicações Fundamentais), Universidade de Lisboa, Portugal. 01/04/2011 - 30/08/2013. Co-advisor: Gustavo Granja (Instituto Superior Técnico, Universidade Técnica de Lisboa, Portugal).

Alexander Usvyatsov (PhD in Mathematics, The Hebrew University in Jerusalem, Israel, 2006). FCT Post-doctorial Research Fellow. CMAF (Centro de Matemática e Aplicações Fundamentais), Universidade de Lisboa, Portugal. 01/07/2007 - 30/06/2013.

Janak Ramakrishnan (PhD in Mathematics, University of California, Berkeley, USA, 2008.) FCT Post-doctorial Research Fellow. CMAF (Centro de Matemática e Aplicações Fundamentais), Universidade de Lisboa, Portugal. 01/10/2010 - 30/09/2012.

Ayhan Gunaydin (PhD in Mathematics, University of Illinois at Urbana-Champaign, USA, 2008). FCT Post-doctorial Research Fellow. CMAF (Centro de Matemática e Aplicações Fundamentais), Universidade de Lisboa, Portugal. 01/09/2009 - 30/08/2012.

Pantellemon Eleftheirou (PhD in Mathematics, University of Notre Dame, USA, 2007). FCT Post-doctorial Research Fellow. CMAF (Centro de Matemática e Aplicações Fundamentais), Universidade de Lisboa, Portugal. 01/07/2008 - 31/06/2011.

Giuseppina Terzo (PhD in Mathematics, University of Naples Frederico II, Italy, 2006). FCT Post-doctorial Research Fellow. CMAF (Centro de Matemática e Aplicações Fundamentais), Universidade de Lisboa, Portugal. 01/11/2007 - 30/08/2008.

Pós-doutoramento (Bolsas do CMAF)
Post-doc (CMAF grants)

Giuseppina Terzo (PhD in Mathematics, University of Naples Frederico II, Italy, 2006). CMAF Post-doctorial Research Fellow. CMAF (Centro de Matemática e Aplicações Fundamentais), Universidade de Lisboa, Portugal. 08/01/2007 - 31/10/2007.

Nicholas Peatfield (DPhil in Mathematics, University of Oxford, England, 2003). CMAF Post-doctorial Research Fellow. CMAF (Centro de Matemática e Aplicações Fundamentais), Universidade de Lisboa, Portugal. 10/01/2005 - 30/12/2005.

Mestrado
Master

António Pedro Raimundo (Mestrado em Estatística, Matemática e Computação). Universidade Aberta, Portugal. 01/10/2012 - 2015. Co-advisor: Marcelllo Mamino (CMAF - Universidade de Lisboa).

Luís Manuel da Silva Augusto (Mestrado em Estatística, Matemática e Computação). Universidade Aberta, Portugal. 01/10/2012 - 2014. Co-advisor: Reinhard Kahle (Universidade Nova de Lisboa).

Maria do Rosário Inácio (Mestrado em Estatística, Matemática e Computação). Universidade Aberta, Portugal. 01/10/2012 - 2014. Co-advisor: Gilda Maria Saraiva Dias Ferreira (CMAF - Universidade de Lisboa).

Participations in R&D projects

Investigador responsável (IR) de projectos internacionais
Principal Investigator (PI) of international research projects

Marie Curie Intra-European Fellowships (IEF) (FP7- PEOPLE-2010-IEF) (Model Theory and Algebraic Analysis). 01/12/2012 - 31/11/2014.
Financiamento: 152,449.60 EUR.
Duração: 24 meses

Investigador responsável (IR) de projectos nacionais
Principal Investigator (PI) of national research projects

FCT project PTDC/MAT/122844/2010 (Applications and extensions of o-minimality). 01/02/2012 - 31/01/2014.
Financiamento: 30,000 EUR.
Duração: 24 meses

FCT project PTDC/MAT/101740/2008 (O-minimality and definably compact groups). 01/02/2010 - 31/01/2012.
Financiamento: 20,968 EUR.
Duração: 24 meses

Convénio FCT/CNRS 2011 project cnrs128447776310533. (Lisbon - Dijon, O- minimality and quantifier elimination for quasi-analytic algebras of functions, and application to non-oscillation problems in dynamical systems). 01/01/2011 - 31/12/2011.
Financiamento: 2,000 EUR.
Duração: 24 meses

Convénio FCT/CNRS 2010 project cnrs125413551222198. (Lisbon - Lyon, Model Theory). 01/01/2010 - 31/12/2010.
Financiamento: 2,000 EUR.
Duração: 24 meses


Membro de equipas de investigação
Member of research teams

CMAF (Centro de Matemática e Aplicações Fundamentais), Universidade de Lisboa, Portugal. 15/04/2003 - ...

European Research and Training Network MODNET (Model Theory). Researcher. 01/01/2005 - 31/12/2008.

European Research and Training Network RAAG (Real Algebraic and Analytic Geometry). Researcher. 01/09/2002 - 01/09/2003.


Participação em programas temáticos
Participation in thematic programs

Thematic program on o-minimal structures and real analytic geometry, Fields Institute for Research in Mathematical Science, Toronto, Canada. 01/01/2009 - 26/06/ 2009.

Model Theory and Applications to Algebra and Analysis - MODNET, Isaac Newton Institute for Mathematical Sciences, University of Cambridge, England. 17/01/2005 - 15/07/2005.

Awards

Year Award Awarding entity
1996 Eng. António de Almeida Fundação Eng. António de Almeida, Porto, Portugal
1994 Professor Augusto Martins Universidade do Porto, Portugal
1993 Professor Gomes Teixeira Universidade do Porto, Portugal

Publications

Publicações em actas de encontros científicos

  • M. Edmundo. Solvable groups and rings definable in o-minimal structures. Logic Colloquium ’99, Lecture Notes in Logic 17 (2004) (ed., J. van Eijck et al.) A. K. Peters Ltd.<br>

Publicações em actas de encontros científicos

  • M. Edmundo. O-minimal cohomology and applications. In: O-minimal Structures, Proceedings of the RAAG Summer School Lisbon 2003, Lecture Notes in Real Algebraic and Analytic Geometry (M. Edmundo, D. Richardson and A. Wilkie eds.,) Cuvillier Verlag 2005.

Publicações em actas de encontros científicos


  • M. Edmundo. Covering definable manifolds by open definable subsets. In: Logic Colloquium ’05, Lecture Notes in Logic 28 (2008) (ed., C. Dimitracopoulos et al.) Cambridge University Press. <br>

Artigos em revistas de circulação internacional com arbitragem científica


  • M. Edmundo. Structure theorems for o-minimal expansions of groups. Ann. Pure Appl. Logic 102 (1-2) (2000) 159-181.

Artigos em revistas de circulação internacional com arbitragem científica

  • M. Edmundo. Solvable groups definable in o-minimal structures. J. Pure Appl. Algebra 185 (1-3) (2003) 103-145.

Artigos em revistas de circulação internacional com arbitragem científica

  • M. Edmundo and M. Otero. Definably compact abelian groups. J. Math. Logic 4 (2) (2004) 163-180.

Artigos em revistas de circulação internacional com arbitragem científica

  • M. Edmundo. Covers of groups definable in o-minimal structures. Illinois J. Math. 49 (1) (2005) 99-120. Erratum Illinois J. Math. 51 (3) (2007) 1037-1038.

Artigos em revistas de circulação internacional com arbitragem científica

  • M. Edmundo and G. Terzo. On freely generated E-subrings. J. Pure Appl. Algebra 213 (5) (2009) 690 - 697.

Artigos em revistas de circulação internacional com arbitragem científica

  • M. Edmundo and A. Woerheide. The Lefschetz coincidence theorem in o-minimal expansions of fields. Topology Appl. 156 (15) (2009) 2470 - 2484.

Artigos em revistas de circulação internacional com arbitragem científica

  • M. Edmundo and P. Eleftheriou. Definable group extensions in semi-bounded o- minimal structures. Math. Logic Quart. 55 (6) (2009) 598-604.

Artigos em revistas de circulação internacional com arbitragem científica

  • M. Edmundo and Luca Prelli. Poincaré - Verdier duality in o-minimal structures. Ann. Inst. Fourier Grenoble 60 (4) (2010) 1259 - 1288.

Artigos em revistas de circulação internacional com arbitragem científica

  • M. Edmundo and G. Terzo. A note on generic subsets of definable groups. Fund. Math. 215 (1) (2011) 53 - 65.

Artigos em revistas de circulação internacional com arbitragem científica

  • M. Edmundo, J. Araújo and S. Givant. v*-algebras, independence algebras and logic. Int. J. Algebra Comp. 21. (7) (2011) 1237 - 1257.

Artigos em revistas de circulação internacional com arbitragem científica

  • M. Edmundo, M. Mamino, L. Prelli, J. Ramakrishnan and G. Terzo. On Pillay’s conjecture in the general case. Adv. Math. 310 (2017) 940 - 992.

Artigos em revistas de circulação internacional com arbitragem científica

  • M. Edmundo and L. Prelli. O-minimality and sheaf cohomology. Bol. Soc. Port. Mat. Special issue (2016) 99 - 102.

Artigos em revistas de circulação internacional com arbitragem científica

  • M. Edmundo, M. Mamino and L. Prelli. On definably proper maps. Fund. Math. 233 (2016) (1) 1 - 36.

Artigos em revistas de circulação internacional com arbitragem científica

  • M. Edmundo and L. Prelli. Sheaves on T-topologies. J. Math. Soc. Japan 68 (2016) (1) 347 - 381.

Artigos em revistas de circulação internacional com arbitragem científica

  • M. Edmundo and L. Prelli. Invariance of o-minimal cohomology with definably compact supports. Confluentes Math. 7 (2015) (1) 35 - 53.

Artigos em revistas de circulação internacional com arbitragem científica

  • M. Edmundo and L. Prelli. The six Grothendieck operations on o-minimal sheaves. C. R. Acad. Sci. Paris. Ser. I 352 (6) (2014) 455-458.

Artigos em revistas de circulação internacional com arbitragem científica

  • M. Edmundo, P. Eleftheriou and L. Prelli. Coverings by open cells. Arch. Math. Logic 53 (3-4) (2014) 307 - 325.

Artigos em revistas de circulação internacional com arbitragem científica

  • A. Berarducci, M. Edmundo and M. Mamino. Discrete subgroups of locally definable groups. Selecta Math. (New Series) 19 (3) (2013) 719 - 736.

Artigos em revistas de circulação internacional com arbitragem científica

  • M. Edmundo, P. Eleftheriou and L. Prelli. The universal covering map in o-minimal expansions of groups. Topology Appl. 160 (13) (2013) 1530 - 1556.

Publicações em actas de encontros científicos

  • M. Edmundo. What are o-minimal sheaves. In Proceedings of the RIMS Symposium on New Developments of Independence in Model Theory, RIMS Kokyuroku, Kyoto Univ. 1718 (10) (2010) 92-101.

Artigos em revistas de circulação internacional com arbitragem científica

  • M. Edmundo. On the Euler characteristic of definable groups. Math. Logic Quart. 57 (1) (2011) 44-46.

Artigos em revistas de circulação internacional com arbitragem científica

  • M. Edmundo, G. Jones and N. Peatfield. Invariance results for definable extensions of groups. Arch. Math. Logic 50 (1-2) (2011) 19 - 31.

Artigos em revistas de circulação internacional com arbitragem científica

  • M. Edmundo and N. Peatfield. O-minimal Cech cohomology. Quart. J. Math. 59 (2) (2008) 213 - 220.

Artigos em revistas de circulação internacional com arbitragem científica

  • M. Edmundo and A. Woerheide. Comparison theorems for o-minimal singular (co)homology. Trans. Amer. Math. Soc. 360 (9) (2008) 4889 - 4912.

Artigos em revistas de circulação internacional com arbitragem científica

  • M. Edmundo. A fixed point theorem in o-minimal structures. Ann. Inst. Fourier Grenoble 57 (5) (2007) 1441-1450.

Artigos em revistas de circulação internacional com arbitragem científica

  • M. Edmundo, A. Berarducci and M. Otero. Corrigendum to: Transfer methods for o-minimal topology. J. Symb. Logic 72 (3) (2007) 1079 - 1080.

Artigos em revistas de circulação internacional com arbitragem científica

  • M. Edmundo and P. Eleftheriou. The universal covering homomorphism in o- minimal expansions of groups. Math. Logic Quart. 53 (6) (2007) 571-582.

Artigos em revistas de circulação internacional com arbitragem científica

  • M. Edmundo and R. Cluckers. Integration of positive constructible functions against Euler characteristic and dimension. J. Pure Appl. Algebra 208 (2) (2007) 691-698.

Artigos em revistas de circulação internacional com arbitragem científica

  • M. Edmundo, G. Jones and N. Peatfield. Sheaf cohomology in o-minimal structures. J. Math. Logic 6 (2) (2006) 163-179.

Artigos em revistas de circulação internacional com arbitragem científica

  • M. Edmundo. Locally definable groups in o-minimal structures. J. Algebra 301 (1) (2006) 194-223. Corrigendum (with E. Baro) J. Algebra 320 (7) (2008) 3079-3080.

Artigos em revistas de circulação internacional com arbitragem científica

  • M. Edmundo. A remark on divisibility of definable groups. Math. Logic Quart. 51 (6) (2005) 639-641.

Livros (editor)

  • <br><br>M. Edmundo, D. Richardson and A. Wilkie (eds.). O-minimal Structures, Proceedings of the RAAG Summer School Lisbon 2003, Lecture Notes in Real Algebraic and Analytic Geometry (M. Edmundo, D. Richardson and A. Wilkie eds.,) Cuvillier Verlag 2005.<br><br><br>

Publicações em actas de encontros científicos

  • <br>M. Edmundo. Invariance of o-minimal singular (co)homology in elementary extensions. Séminaire de Structure Algébriques Ordennées n.76 (2004) (ed., F. Delon et al.) Publications de la Université de Paris VII.<br><br>

Teses

  • <br>M. Edmundo O-minimal expansions of groups. DPhil thesis in Mathematics. University of Oxford, England. 2000. <br><br>

Communications

Comunicações orais por convite

"Groups in o-minimal structures". One Day Meeting on Model Theory and Groups”. The University of Manchester, England. 17/09/1999. <br>

Comunicações orais por convite

"O-minimal cohomology and definably compact definable groups". II Jornadas de Lógica. Universidade de Évora, Portugal. 19-20/05/2000. <br>

Comunicações orais por convite

"Cohomology and duality theory in o-minimal structures". 2001 Greater Boston Logic Meeting. Massachusetts Intitute of Technology, USA. 11-13/05/2001. <br>

Comunicações orais por convite

Short-course on "Cohomology in o-minimal structures". Informal Workshop on O-minimal Structures. Universidad Autónoma de Madrid, Spain. 23-27/07/2001. <br>

Comunicações orais por convite

"Cohomologia em estruturas o-minimais". Dia Aberto do CMUP. Centro de Matemática da Universidade do Porto, Portugal. 23-24/11/2001.<br>

Comunicações orais por convite

"O-minimal cohomology and applications". The European Research and Training Network RAAG conference Real Algebraic and Analytic Geometry RAAG03. Pisa, Italy. 01-05/04/2003. <br>

Comunicações orais por convite

Short-course on "O-minimal (co)homology". The European Research and Training Network RAAG conference Real Algebraic and Analytic Geometry and O-minimal structures. CMAF-Universidade de Lisboa, Portugal. 25-28/06/2003. <br>

Comunicações orais por convite

"An introduction to o-minimal geometry". European Research Conference on Algebra and Discrete Mathematics. Hattingen, Germany. 26-31/07/2003. <br>

Comunicações orais por convite

Mini-curso sobre "Lógica e Geometria Real Algebrica". CMAT (Centro de Matemática da Universidade do Minho), Portugal. 10-11/05/2004. <br>

Comunicações orais por convite

"O-minimal sheaf cohomology". Mini-Colloque en O-minimalité. Université Claude Bernand Lyon-1. Lyon, France. 21-26/03/2005.<br>

Comunicações orais por convite

"O-minimal cohomology, definable groups and Lie groups". Logic Colloquium 2005, Model theory special sessions. Athens, Greece. 28/07- 03/08/2005. <br>

Comunicações orais por convite

"New applications of o-minimal cohomology". Around O-minimality. University of Leeds, England. 11-13/03/2006.<br>

Comunicações orais por convite

“O-minimality and sheaves on T-topologies”. Model Theory Conference in Seoul. Yonsei University, Seoul, South Korea. 19 - 22/05/2010.

Comunicações orais por convite

“Logic and analytic structures”. Encontro Nacional da Sociedade Portuguesa de Matemática (ENSPM10). Instituto Politécnico de Leiria, Portugal. 08 - 10/07/2010.

Comunicações orais por convite

“The universal covering map in o-minimal structures”. 3rd Iberian Mathematical Meeting. Universidade do Minho, Braga, Portugal. 01 - 03/10/2010.

Comunicações orais por convite

“Model theory (analytic part): from Grothendieck to André Oort”. Days in Logic 2014. Universidade do Minho, Braga, Portugal. 23 - 25/01/2014.

Comunicações orais por convite

“Lie groups, definable groups and their cohomology”. Primer Taller de Teoria de Modelos: O -minimalidad y encuentro en teorias O-minimales. Villa de Leyva. Colombia. 30/03 - 02/04/2007.

Comunicações orais por convite

“Aplicações da Lógica à Geometria”. Tarde de Trabalho SPM/CIM sobre Lógica e Computação. Coimbra. Portugal. 05/05/2007.

Comunicações orais por convite

“On Pillay’s conjecture for orientable definable groups”. Workshop Around Classification Theory. School of Mathematics, University of Leeds, England. 27 - 30/06/2008.

Comunicações orais por convite

“Around Pillay’s conjecture for orientable definable groups”. MODNET research workshop. O-minimality: model theory and geometry. University of Haifa. Israel. 01 - 04/09/2008.

Comunicações orais por convite

“Connections between real algebra and logic”. II Iberian Mathematical Meeting. Universidad de Extremadura. Badajoz. Spain. 03 - 05/10/2008.

Comunicações orais por convite

“Poincaré-Verdier duality in o-minimal structures”. Real Analytic and Nash Functions and Related Topics. Dipartimento di Matematica della Universita di Pisa, Italy. 16 - 22/02/2009.

Comunicações orais por convite

“Sheaves on o-minimal site and applications”. Mini-Workshop on (Co)Homology and sheaves in O-minimal and Related Settings. Thematic program on O- minimal Structures and Real Analytic Geometry. Fields Institute for Research in Mathematical Science, Toronto, Canada. 06 - 08/05/2009.

Comunicações orais por convite

“The logic of independence algebras I”. Workshop on Algebra and Logic. FCUL, Universidade de Lisboa, Portugal. 19/06/2009.

Comunicações orais por convite

“On very good reductions”. European Science Foundation Research Conference on Model Theory. Mathematical Research and Conference Center, Bedlewo, Poland. 09 - 14/08/2009.

Comunicações orais por convite

“What are o-minimal sheaves”. Model Theory Kirishima 2010 - New developments of ”independence” in model theory. Kirishima, Japan. 01 - 05/02/2010.