Programa de Pós Graduação em Matemática

Hugo Luiz Mariano

Possui graduação em Bacharelado em Física pela Universidade de São Paulo (03/1987-03/1991), mestrado em Matemática pela Universidade de São Paulo (03/1992-08/1997), doutorado em Matemática pela Universidade de São Paulo (08/1997-02/2003), pós-doutorado na UNICAMP (05/2003-11/2004) e dois pós-doutorados pela Universidade Paris 7 (05/2007-02/2008 e 07/2022-06/2023). Foi professor doutor (RDIDP) do Departamento de Matemática do Instituto de Matemática e Estatística da Universidade de São Paulo (MAT-IME-USP) (11/2004-11/2011). Realizou livre docência em 11/2011 e tornou-se professor associado 1 (RDIDP) do MAT-IME-USP (12/2011-09/2021). Desde 10/2021 é professor associado 2 (RDIDP) do MAT-IME-USP. No período 04/2018-03/2022 foi coordenador do Programa de pós-graduação em Matemática do IME-USP. Atualmente é presidente da SBL (Sociedade Brasileira de Lógica): mandato 07/2023-06/2025.Tem experiência na área de Matemática, com ênfase em teoria das categorias, lógica matemática e teoria algébrica de formas quadráticas, suas principais áreas de pesquisa e de orientações de iniciação científica, mestrado e doutorado e de supervisões de pós-doutorado. (Texto informado pelo autor)

  • http://lattes.cnpq.br/3762450205090582 (30/05/2024)
  • Rótulo/Grupo:
  • Bolsa CNPq:
  • Período de análise:
  • Endereço: Instituto de Matemática e Estatística da USP. Rua do Matão, 1010 Butantã 05508-090 - Sao Paulo, SP - Brasil
  • Grande área: Ciências Exatas e da Terra
  • Área: Matemática
  • Citações: Google Acadêmico

Produção bibliográfica

Produção técnica

Produção artística

Orientações em andamento

Supervisões e orientações concluídas

Projetos de pesquisa

Prêmios e títulos

Participação em eventos

Organização de eventos

Lista de colaborações


Produção bibliográfica

Produção técnica

Produção artística

Orientações em andamento

Supervisões e orientações concluídas

Projetos de pesquisa

  • Total de projetos de pesquisa (5)
    1. 2023-Atual. Abstract theories of quadratic and hermitian forms, and real algebraic geometry (MATH-AMSUD)
      Descrição: This project aims to pursue: (i) the study of the theory of quadratic forms over semireal (commutative, unitary) rings using the resources coming from the abstract algebraic configuration provided mainly by the (first-order) theories of special groups and real semigroups; (ii) the formulation and development of a new frontier: an abstract, and first-order, theory of the algebraic theory of hermitian forms; (iii) by the algebraic and model-theoretic tools developed, produce connections and applications to real algebraic geometry and o-minimality.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Doutorado: (2) . Integrantes: Hugo Luiz Mariano - Coordenador / Francisco Miraglia - Integrante / Max A. Dickmann - Integrante / Ricardo Bianconi - Integrante / Alejandro Petrovich - Integrante / Danielle Gondard - Integrante. Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro.
      Membro: Hugo Luiz Mariano.
    2. 2023-Atual. Paraconsistent set theory (JP-Fapesp)
      Descrição: This project aims to develop the model theory of the models of Type ZF Paraconsistent Set Theory (PST) based on da Costa Logic Cw. Recently, we present F-structures valued models following the methodology developed for Heyting-valued models; with these models, we are able to prove the axioms of ZF are valid on them. The proof is strongly based on the existence of paraconsistent models ofLeibniz law; also, in this setting, we discuss the difficulty of having algebraic paraconsistent models of the law. As a main goal of this project, we intend to present paraconsistent models for others PSTs based on logics that can be expressed as extensions of classical logic of the literature, such us da Costa Cn and several of Logics of Formal Inconsistency that already have semantics by F-structures. Among the main objectives of this project, we plan to present independence proofs for PSTs and display paraconsistent models of ZFC following the methodology developed for Boolean-valued models.. Situação: Em andamento; Natureza: Pesquisa. Integrantes: Hugo Luiz Mariano - Integrante / Aldo Figallo Orellano - Coordenador. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Outra.
      Membro: Hugo Luiz Mariano.
    3. 2018-2021. Arbitrariness and genericity: or on how to speak of the unspeakable - (JP-FAPESP)
      Situação: Concluído; Natureza: Pesquisa. Integrantes: Hugo Luiz Mariano - Integrante / Rodrigo de Alvarenga Freire - Integrante / Giorgio Venturi - Coordenador.
      Membro: Hugo Luiz Mariano.
    4. 2010-2016. Projeto Temático Fapesp: LOGCONS (10/51038-0)
      Situação: Concluído; Natureza: Pesquisa. Integrantes: Hugo Luiz Mariano - Integrante / Walter A. Carnielli - Coordenador / Itala M. L. d'Ottaviano - Integrante / Marcelo E. Coniglio - Integrante.
      Membro: Hugo Luiz Mariano.
    5. 2005-2010. Projeto Temático FAPESP : ConsRel (2004/14107-2)
      Situação: Concluído; Natureza: Pesquisa. Integrantes: Hugo Luiz Mariano - Integrante / Walter A. Carnielli - Coordenador / Itala M. L. d'Ottaviano - Integrante / Marcelo E. Coniglio - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.
      Membro: Hugo Luiz Mariano.

Prêmios e títulos

  • Total de prêmios e títulos (5)
    1. Grant 17o-SLALM: palestrante convidado em Teoria dos Modelos, Universidad de Concépcion-Chile.. 2019.
      Membro: Hugo Luiz Mariano.
    2. Grant UNAL-Lógica, Universidad Nacional de Colombia-Bogotá.. 2019.
      Membro: Hugo Luiz Mariano.
    3. Professor homenageado, Bacharelado em Matemática do IME-USP.. 2017.
      Membro: Hugo Luiz Mariano.
    4. Grant UNAL-Lógica, Universidad Nacional de Colombia-Bogotá.. 2013.
      Membro: Hugo Luiz Mariano.
    5. Grant: Workshop MODNET, Humboldt-Universität Berlin (Germany), MODNET Research Training Network in Model Theory (União Européia).. 2007.
      Membro: Hugo Luiz Mariano.

Participação em eventos

  • Total de participação em eventos (44)
    1. 2o Encontro USP-UFBA em Logica e Fundamentos.Towards a monoidal generalization of topos and their internal logic. 2024. (Encontro).
    2. V Colóquio UnB?USP de Lógica e Filosofia da Lógica.Em direção a uma generalização monoidal dos topos e de sua lógica interna. 2024. (Encontro).
    3. Encontro Conjunto Brasil Portugal em Matemática- S. Lógica Mat. Algebraic and model-theoretical contributions to the theory of algebraically closed multifields. 2022. (Congresso).
    4. 1o Encontro Brasileiro de Teoria das Categorias. An algebraic framework to a theory of sets based on the surreal numbers. 2021. (Congresso).
    5. VI Congresso Latino Americano de Matematicos-(Sesion 22). Filter pairs and natural extensions of logics. 2021. (Congresso).
    6. VI Congresso Latino Americano de Matematicos-(Sesion 33). Logical and categorial aspects of abstract quadratic forms theories. 2021. (Congresso).
    7. 1st Joint Meeting Brazil-France in Mathematics. A Galois group functor for the category of Special Groups. 2019. (Congresso).
    8. Coloquio de Matemáticas + Seminario de Lógica UNAL.Logical and categorial aspects of abstract quadratic forms theories. 2019. (Seminário).
    9. Seminario Lógica y Geometría.Some Algebraic and Logical Aspects of C-infty Rings. 2019. (Seminário).
    10. workshop Formal Logic and Foundations of Mathematics. Galois groups and a valuation theory for Special Groups. 2019. (Congresso).
    11. XVIII Brazilian Logic Conference. Von Neumann Regular C ∞−Rings and Applications to Boolean algebras. 2019. (Congresso).
    12. XVIII Simposio Latino Americano de Logica Matematica.The Witt ring and the Von Neumann hull of a real semigroup. 2019. (Simpósio).
    13. Algebra: celebrating Paulo Ribenboim's ninetieth birthday.Logical and categorical aspects of abstract quadratic forms theories. 2018. (Encontro).
    14. XVIII Brazilian Logic Conference. Genericidade e arbitrariedade em teoria dos conjuntos. 2017. (Congresso).
    15. XVIII Brazilian Logic Conference. kappa-filter pairs and non finitary logics. 2017. (Congresso).
    16. Escola Patricio Letelier de Física ? Matemática.Toposes and some of its applications in Geometry and Physics. 2016. (Outra).
    17. First Joint Meeting Brazil Italy of Mathematics.Abstract aspects of quadratic forms. 2016. (Encontro).
    18. 1o Encontro Brasil-Espanha de Matemática.The von Neumann-regular Hull of (preordered) rings and quadratic forms. 2015. (Encontro).
    19. 17o EBL- 16o Encontro Brasileiro de Lógica.A global approach to AECs. 2014. (Encontro).
    20. 4th World Congress and School on Universal Logic (UNILOG 4). Representation Theory of Logics: a categorial approach. 2013. (Congresso).
    21. MINICURSO DO PPGMAT.?Categorias, Feixes e Aplicações à Matemática?. 2013. (Outra).
    22. seminario: Geometría y Teoría de Modelos.A global approach to Abstract Elementary Classes (part I, part II). 2013. (Seminário).
    23. seminario: Geometría y Teoría de Modelos.Profinite structures and applications. 2013. (Seminário).
    24. 15th Latin American Symposium on Mathematical Logic (XV SLALM).Analysing categories of signatures. 2012. (Simpósio).
    25. 15th Latin American Symposium on Mathematical Logic (XV SLALM).Some preservation properties of the Profinite Hull Functor of Special Groups and applications. 2012. (Simpósio).
    26. Minicurso-UNB.Módulo II: *Categorias, Feixes, Toposes e Aplicações à Matemática*. 2012. (Outra).
    27. Philosophy and Mathematics of Uncertainty and Vagueness (PMUV) - MaToMUVI.NEW PERSPECTIVES ON POSSIBLE-TRANSLATIONS SEMANTICS. 2012. (Outra).
    28. Séminaire de Structures Algébriques Ordonnées.The Boolean and Profinte Hulls of Reduced Special Groups. 2012. (Seminário).
    29. 16o EBL- 16o Encontro Brasileiro de Lógica.The Boolean and Profinite Hulls of reduced special groups. 2011. (Encontro).
    30. Encontro "Évariste Galois" - Bicentenário.Minicurso 2 - Expansões da Teoria de Galois em Álgebra. 2011. (Encontro).
    31. TACL 2011 - The fifth International Confererence on Topology, Algebra and Categories in Logic.Towards a good notion of category of logics. 2011. (Outra).
    32. Séminaire de Structures Algébriques Ordonnées.Realizing profinite reduced special groups. 2009. (Seminário).
    33. CLE-30, XV-EBL, XIV-SLALM.On Profinite Structures. 2008. (Outra).
    34. Atelier MODNET de Théorie des Modèles des corps. 2007. (Outra).
    35. Géométrie et Théorie des Modèles. 2007. (Encontro).
    36. Journées Max Dickmann. 2007. (Outra).
    37. MODNET Training Workshop. 2007. (Oficina).
    38. Séminaire général de Logique.On Profinite Special Groups. 2007. (Seminário).
    39. 14 EBL- 14 Encontro Brasileiro de Lógica.On the category of algebraizable logic. 2006. (Encontro).
    40. IICAI-05 - 2nd Indian International Conference on Artificial Intelligence.Fibring and Sheaves. 2005. (Outra).
    41. SeMe-2005 -- Workshop on Semantics and Meaning.On the filtered colimits of algebraizable logics. 2005. (Outra).
    42. Séminaire de Structures Algébriques Ordonnées.Profinite Structures are Retracts of Ultraproducts of Finite Structures. 2004. (Seminário).
    43. XII Simposio Latinoamericano de Lógica Matemática (XII-SLALM).The Profinite Hull of Special Groups. 2004. (Simpósio).
    44. 13 EBL -13 Encontro Brasileiro de Lógica.Estruturas Profinitas são Retratos de Ultraprodutos de Estruturas Finitas. 2003. (Encontro).

Organização de eventos

  • Total de organização de eventos (12)
    1. TENORIO, A. L. C. ; ANDRADE, M. A. ; ROCHA, M. M. L. ; MARIANO, H. L. ; RIBEIRO, M. F. S. ; MARTINS, Y. X. ; GARCIA, A.. 2o Encontro Brasileiro em Teoria das Categorias. 2023. Congresso
    2. CLEMENTINO, M. M. ; PAIVA, V. ; SIQUEIRA, J. V. P. M. ; MARIANO, H. L.. Encontro Conjunto Brasil Portugal em Matemática-Seção de Teoria das Categorias. 2022. Congresso
    3. Coniglio, M. E. ; MARIANO, H. L. ; RUSSO, C. ; SILVA, S. G. ; VILLAVECES, A. ; ZAMBRANO, P. H.. 1o Encuentro Brasil-Colombia de Lógica. 2021. Congresso
    4. MARIANO, H. L.. Encontro de Egressos e Alunos do Programa de Pós-Graduação em Matemática do IME-USP, 2021. 2021. (Congresso).. . 0.
    5. BEZIAU, J. ; MARIANO, H. L. ; VIANA, J. P.. Workshop "Formal Logic and Foundations of Mathematics". 2019. Congresso
    6. MARIANO, H. L.; JUNQUEIRA, L. ; VENTURI, G. ; FREIRE, R. A.. 1o workshop "Studies in Mathematical Logic". 2019. Congresso
    7. VENTURI, G. ; FREIRE, R. A. ; MARIANO, H. L.. Cantor meets Robinson: set Theory, Modet Theory abd their Philosophy. 2018. Congresso
    8. JUNQUEIRA, L. ; MARIANO, H. L. ; SILVA, S. G.. 1º Encontro USP-UFBA de Lógica e Fundamentos. 2017. Congresso
    9. JUNQUEIRA, L. ; FERENCZ, V. ; MARIANO, H. L.. 1o Workshop "Foundations of Mathematics and Applications". 2017. Congresso
    10. Coniglio, M. E. ; LOPES, V. C. ; MARIANO, H. L.. Workshop "Logic and Applications: in honor to Francisco Miraglia by the occasion of his 70th birthday". 2016. Congresso
    11. VIANA, J. P. ; FREITAS, R. P. ; SILVA, S. G. ; MARIANO, H. L.. ORGANIZACAO DO 17o EBL - 17o Encontro Brasileiro de Lógica. 2014. Congresso
    12. BERTATO, F. ; d'Ottaviano, I. M. L. ; MARIANO, H. L.. Encontro Évariste Galois- Bicentenário. 2011. Congresso

Lista de colaborações

  • Colaborações endôgenas (0)



    (*) Relatório criado com produções desde 2000 até 2024
    Data de processamento: 08/08/2024 14:12:48