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

Identificação pessoal

Nome completo
Bruno Miguel Antunes Dinis

Nomes de citação

  • Dinis, Bruno

Identificadores de autor

Ciência ID
3E1F-A94E-D147
ORCID iD
0000-0003-2143-3289

Domínios de atuação

  • Ciências Exatas - Matemática

Idiomas

Idioma Conversação Leitura Escrita Compreensão Peer-review
Espanhol; Castelhano Utilizador independente (B1) Utilizador proficiente (C1) Utilizador independente (B1) Utilizador independente (B1)
Francês Utilizador elementar (A1) Utilizador independente (B1) Utilizador elementar (A1) Utilizador elementar (A1)
Inglês Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1)
Italiano Utilizador elementar (A2) Utilizador independente (B2) Utilizador elementar (A2) Utilizador independente (B2)
Formação
Grau Classificação
2008
Concluído
Matemática (Doutoramento)
Especialização em Especialidade: Matemática e Aplicações
Universidade de Évora Instituto de Investigação e Formação Avançada, Portugal
"Axiomatics for the External Numbers of Nonstandard analysis and modelation of uncertainties" (TESE/DISSERTAÇÃO)
2006
Concluído
Pós-Graduação em Matemática e Aplicações (Especialização pós-bacharelato)
Universidade de Évora, Portugal
18
2005
Concluído
Matemática e Ciências da Computação (Licenciatura)
Universidade de Évora, Portugal
"Sobre uma possível axiomática para o conjunto dos números externos da análise não-standard" (TESE/DISSERTAÇÃO)
15
Percurso profissional

Ciência

Categoria Profissional
Instituição de acolhimento
Empregador
2019/07/01 - 2022/01/31 Investigador Contratado (Investigação) Universidade de Lisboa Centro de Matemática Aplicações Fundamentais e Investigação Operacional, Portugal
Universidade de Lisboa Centro de Matemática Aplicações Fundamentais e Investigação Operacional, Portugal
2017/08/04 - 2019/06/30 Pós-doutorado (Investigação) FCiênciasID Associação para a Investigação e Desenvolvimento de Ciências, Portugal
2016/12/28 - 2017/06/30 Investigador visitante (Investigação) Thang Long University, Vietname

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento
Empregador
2022/02/01 - Atual Professor Auxiliar (Docente Universitário) Universidade de Évora, Portugal
2014 - 2022 Assistente Convidado (Docente Universitário) Universidade de Lisboa Faculdade de Ciências, Portugal
2011/09/01 - 2013/08/31 Assistente (Docente Universitário) Universidade Nova de Lisboa Instituto Superior de Estatística e Gestão de Informação, Portugal
2010/02/01 - 2012/07/01 Assistente (Docente Ensino Superior Politécnico) Instituto Politécnico de Setúbal, Portugal

Outros

Categoria Profissional
Instituição de acolhimento
Empregador
2014/03/01 - 2016/12/27 Bolseiro de Investigação: referência SFRH / BPD / 97436 / 2013 Fundação para a Ciência e a Tecnologia, Portugal
2005 - 2007 Colaborador Universidade de Évora, Portugal
Produções

Publicações

Artigo em conferência
  1. Bruno Dinis; Paulo Oliva. "A Parametrised Functional Interpretation of Affine Logic". 2021.
  2. Dinis, Bruno; Miquey, Étienne. "Realizability with Stateful Computations for Nonstandard Analysis". 2021.
    10.4230/LIPIcs.CSL.2021.19
Artigo em revista
  1. Bruno Dinis. "Equality and Near-Equality in a Nonstandard World". Logic and Logical Philosophy (2022): https://doi.org/10.12775/LLP.2022.018.
    10.12775/LLP.2022.018
  2. Dinis, Bruno; Oliva, Paulo. "A parametrised functional interpretation of Heyting arithmetic". Annals of Pure and Applied Logic 172 4 (2021): 102940. http://dx.doi.org/10.1016/j.apal.2020.102940.
    10.1016/j.apal.2020.102940
  3. Dinis, Bruno; Pinto, Pedro. "Quantitative Results on the Multi-Parameters Proximal Point Algorithm". Journal of Convex Analysis 28 3 (2021): https://www.heldermann.de/JCA/JCA28/JCA283/jca28041.htm.
  4. Dinis, Bruno; Edmundo, Mario J.; Mamino, Marcello. "Fundamental group in o-minimal structures with definable Skolem functions". Annals of Pure and Applied Logic (2021): https://publons.com/wos-op/publon/45763056/.
    10.1016/J.APAL.2021.102975
  5. Dinis, Bruno; Pinto, Pedro. "On the convergence of algorithms with Tikhonov regularization terms". Optimization Letters (2020): https://doi.org/10.1007/s11590-020-01635-7.
    10.1007/s11590-020-01635-7
  6. Dinis, Bruno; Pinto, Pedro. "Metastability of the proximal point algorithm with multi-parameters". Portugaliae Mathematica (2019): https://doi.org/10.4171/PM/2054.
    10.4171/PM/2054
  7. Dinis, Bruno; Van Tran, Nam; van den Berg, Imme. "On Flexible Sequences". Acta Mathematica Vietnamica 44 4 (2019): 833-874. http://www.scopus.com/inward/record.url?eid=2-s2.0-85072548492&partnerID=MN8TOARS.
    10.1007/s40306-018-00303-4
  8. Dinis, Bruno; Gaspar, Jaime. "Intuitionistic nonstandard bounded modified realisability and functional interpretation". Annals of Pure and Applied Logic 169 5 (2018): 392-412.
    10.1016/j.apal.2017.12.004
  9. Dinis, Bruno; van den Berg, Imme. "Characterization of distributivity in a solid". Indagationes Mathematicae 29 2 (2018): 535-547.
    10.1016/j.indag.2017.10.008
  10. Dinis, Bruno; Ferreira, Fernando. "Interpreting weak Konig's lemma in theories of nonstandard arithmetic". Mathematical Logic Quarterly 63 1-2 (2017): 114-123.
    10.1002/malq.201600066
  11. Dinis, Bruno; van den Berg, Imme. "On the quotient class of non-archimedean fields". Indagationes Mathematicae 28 4 (2017): 784-795. http://www.scopus.com/inward/record.url?eid=2-s2.0-85020728678&partnerID=MN8TOARS.
    10.1016/j.indag.2017.05.001
  12. Dinis, Bruno; van den Berg, Imme. "Axiomatics for the external numbers of nonstandard analysis". Journal of Logic and Analysis 9 (2017): 1-47.
    10.4115/jla.2017.9.7
  13. Dinis, Bruno; Ferreira, Gilda. "Instantiation overflow". Reports on Mathematical Logic 51 (2016): 15-33. http://www.scopus.com/inward/record.url?eid=2-s2.0-84994578382&partnerID=MN8TOARS.
    10.4467/20842589RM.16.002.5279
  14. Dinis, Bruno; van den Berg, Imme. "Algebraic properties of external numbers". JLA (2011): http://dx.doi.org/10.4115/jla.2011.3.9.
    10.4115/jla.2011.3.9
Livro
  1. Dinis, Bruno; van den Berg, Imme. Neutrices and external numbers: A flexible number system. 2019.
    10.1201/9780429291456
Tese / Dissertação
  1. Dinis, Bruno Miguel Antunes. "Axiomatics for the external numbers of Nonstandard analysis and modelation of uncertainties". Doutoramento, 2012. http://hdl.handle.net/10174/16194.

Outros

Outra produção
  1. Effective metastability for a method of alternating resolvents. 2021. Dinis, Bruno.
  2. Strong convergence for the alternating Halpern-Mann iteration in CAT(0) spaces. 2021. Dinis, B.; Pinto, P.. http://www.scopus.com/inward/record.url?eid=2-s2.0-85122121848&partnerID=MN8TOARS.
  3. Parametrised Functional Interpretations. 2020. Dinis, Bruno. https://arxiv.org/pdf/arXiv:2005.05794.
  4. A general o-minimal fundamental group. 2018. Dinis, Bruno.
  5. Old and new approaches to the Sorites paradox. 2017. Dinis, Bruno.
Atividades

Apresentação oral de trabalho

Título da apresentação Nome do evento
Anfitrião (Local do evento)
2020/12/18 A nonstandard view on vague magnitudes
ArgLab Open Seminar - IFILNOVA (Lisboa, Portugal)
2020/09 Quantitative information on the strong convergence of algorithms via proof mining CCC 2020: Continuity, Computability, Constructivity - From Logic to Algorithms
Universidade do Algarve (Faro, Portugal)
2019/11/15 Gotta catch 'em all: a parametrised functional interpretation
TU Darmstadt (Darmstadt, Alemanha)
2019/05/07 On functional interpretations for semi-intuitionistic nonstandard arithmetic with majorizability
Queen Mary University (Londres, Reino Unido)
2019/05/02 On algebraic flexible structures
Università degli studi della Campania Luigi Vanvitelli (Caserta, Itália)
2019 Nonstandard realizability with and without truth Facets of realizability,
École Normale Supérieure (Paris - Saclay, França)
2018/11 The Bounded Functional Interpretation in Proof Mining, Seminário do Departamento de Matemática
Universidade de Évora (Évora, Portugal)
2018/04 Intuitionism, nonstandard arithmetic and functional interpretations International Workshop Computational Approaches to the Foundations of Mathematics
Ludwig-Maximilians University (Munique, Alemanha)
2018 Proof mining of the proximal point algorithm with multi-parameters Workshop on Proof Theory and its Applications
University of Ghent (Ghent, Bélgica)
2018 Fundamental groups in general o-minimal structures and some comparison results Days in Logic
Universidade de Aveiro (Aveiro, Portugal)
2017 Solids, External Numbers and Nonstandard Analysis
Institute of Mathematics, Vietnam Academy of Science and Technology (Hanói, Vietname)
2016 Neutrizes e números externos, uma introdução Session on Nonstandard Asymptotics in the ENSPM
Instituto Politécnico de Setúbal (Barreiro, Portugal)
2016 Interpreting weak Konig's lemma in nonstandard theories of arithmetic Logic Colloquium
University of Leeds (Leeds, Reino Unido)
2015/06 Nonstandard Intuitionistic Interpretations AMS-EMS meeting
Universidade do Porto (Porto, Portugal)
2013/07 Algebraic structures with individualized neutral elements Logic Colloquium, European Summer Meeting of the ASL
Universidade de Évora (Évora, Portugal)
2010/01 On the problem of distributivity in the calculus of external numbers Days in Logic
Universidade do Porto (Porto, Portugal)
2009/08 Axiomatizing the external numbers Logic and Mathematics 2009
University of York (York, Reino Unido)
2006 On a possible set of axioms for the external numbers of Nonstandard Analysis Nonstandard Methods
Universidade de Pisa (Pisa, Itália)

Orientação

Título / Tema
Papel desempenhado
Curso (Tipo)
Instituição / Organização
2018/10 - 2020/09/25 Teoremas do valor médio e intermédio
Coorientador
Matemática para Professores (Mestrado)
Universidade Aberta, Portugal

Organização de evento

Nome do evento
Tipo de evento (Tipo de participação)
Instituição / Organização
2020 - Atual Seminário de Lógica Matemática 2020/2021 (Webinar) (2020)
Seminário (Coorganizador)
Universidade de Lisboa Faculdade de Ciências, Portugal
2020/01 - 2020/09 Encontros Abertos do CMAFcIO (2020/09/09 - 2020/09/10)
Encontro (Outra)
Universidade de Lisboa Faculdade de Ciências, Portugal
2019/09 - 2020/02 Membro da comissão organizadora e científica do Workshop Days in Logic 2020. (2020/01/30 - 2020/02/01)
Encontro (Membro da Comissão Científica)
Universidade de Lisboa Departamento de Matemática, Portugal
2018 - 2018 Co-organizador da sessão especial "Lógica no ensino" no encontro nacional da SPM 2018 (2018/07/09 - 2018/07/11)
Encontro (Coorganizador)
Instituto Politécnico de Bragança, Portugal

Membro de associação

Nome da associação Tipo de participação
2020 - Atual Reviewer for zbMATH Reviewer (Reviewer ID: 18490)
2018 - Atual The Proof Society
2017 - Atual Reviewer for Mathematical Reviews of the American Mathematical Society Reviewer Number: 132425
2013 - Atual Centro Matemática, Aplicações Fundamentais e Investigação Operacional
2009 - 2013 Centro de Investigalção em Matemática e Aplicações - Universidade de Évora
2009 - 2011 Centro de Reabilitação e Integração de Coruche Secretário da direcção

Tutoria

Tópico Nome do aluno
2019/06/17 - 2019/09/06 Aplicações dos números externos da análise não-standard Clara Michel
2018/12 - 2019/06 Análise de Artigo: "On the removal of weak compactness arguments in proof mining" por Ferreira, Leustean e Pinto Luis António Pinto