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

Moradas

  • Rua Romão Ramalho, 59 , 7000-671 , Évora, Évora, Portugal (Profissional)

Websites

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
2014 - 2016 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
Projetos

Bolsa

Designação Financiadores
2014/03/01 - 2016/12/27 NÚMEROS NÃO STANDARD. AXIOMÁTICAS E INTERPRETAÇÕES FUNCIONAIS.
SFRH/BPD/97436/2013
 Fundação para a Ciência e a Tecnologia
Concluído

Projeto

Designação Financiadores
2019/07/01 - 2022/01/31 Não Disponível
DL 57/2016/CP1479/CT0059
10.54499/DL57/2016/CP1479/CT0059
Universidade de Lisboa Faculdade de Ciências, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2019/01/01 - 2019/12/31 Centro de Matemática, Aplicações Fundamentais e Investigação Operacional
UID/MAT/04561/2019
FCiênciasID Associação para a Investigação e Desenvolvimento de Ciências, Portugal

Universidade de Lisboa Faculdade de Ciências, Portugal

Fundação da Faculdade de Ciências da Universidade de Lisboa, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2011/01/01 - 2013/12/31 Projecto Estratégico - UI 117 - 2011-2012
PEst-OE/MAT/UI0117/2011
Universidade de Évora, Portugal

Universidade de Évora Centro de Investigação em Matemática e Aplicações, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
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; Bruno Jacinto. "A Theory of Marginal and Large Difference". Erkenntnis (2023): https://doi.org/10.1007/s10670-023-00709-z.
    10.1007/s10670-023-00709-z
  2. Dinis, Bruno. "Equality and near-equality in a nonstandard world". (2023): http://hdl.handle.net/10174/33642.
    10.12775/LLP.2022.018
  3. Dinis, Bruno; Gaspar, Jaime. "Hardwiring truth in functional interpretations". (2023): http://hdl.handle.net/10174/35334.
    https://doi.org/10.4171/PM/2094
  4. Dinis, Bruno; Miquey, Étienne. "Stateful Realizers for Nonstandard Analysis". (2023): http://hdl.handle.net/10174/35335.
    10.46298/lmcs-19(2:7)2023
  5. Dinis, Bruno; Pinto, Pedro. "Strong convergence for the alternating Halpern-Mann iteration in CATp0q spaces". (2023): http://hdl.handle.net/10174/35325.
    10.1137/22M1511199
  6. Dinis, Bruno. "On the nature of natural numbers". (2023): http://hdl.handle.net/10174/33648.
  7. 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
  8. 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.
  9. 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
  10. 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
  11. 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
  12. 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
  13. 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
  14. 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
  15. 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
  16. 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
  17. 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
  18. 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
  19. 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
Pré-impressão
  1. João Dias; Bruno Dinis. "Strolling through common meadows". 2023. https://arxiv.org/abs/2311.05460.
    10.48550/ARXIV.2311.05460
  2. Ulderico Dardano; Bruno Dinis; Giuseppina Terzo. "Assemblies as Semigroups". 2023. http://dx.doi.org/10.2139/ssrn.4581729.
    10.2139/ssrn.4581729
Tese / Dissertação
  1. Reis, Valdir Delgado dos. "Teoremas do valor médio e intermédio". Mestrado, 2020. http://hdl.handle.net/10400.2/10071.
  2. 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. The Halpern-Mann iteration in CAT(0) spaces.. Complete CAT(0) spaces, also known as Hadamard spaces, are a non-linear generalization of Hilbert spaces. Benefiting from ideas and tools from the proof mining program it was shown by Dinis and Pinto the strong convergence of an iterative schema which alternates between Halpern and Krasnoselskii-Mann style iterations in the general context of CAT(0) spaces. At the same time, the logical tools used. 2023. Dinis, Bruno. http://hdl.handle.net/10174/33646.
  2. Functional interpretations and applications. Functional interpretations are maps of formulas from the language of one theory into the language of another theory, in such a way that provability is preserved. These interpretations typically replace logical relations by functional relations. Functional interpretations have many uses, such as relative consistency results, conservation results, and extraction of computational content from proofs. 2023. Dinis, Bruno. http://hdl.handle.net/10174/33647.
  3. Convergence: what’s logic got to do with it?. Proof mining is a program that makes use of tools from mathematical logic in order to analyse mathematical proofs. This analysis is developed with the purpose of extracting quantitative information from proofs, for example in the form of effective bounds and/or algorithms. The success of the proof mining program is due to the ability of extracting computational content from non-constructive proofs. 2023. Dinis, Bruno. http://hdl.handle.net/10174/33645.
  4. Effective metastability for a method of alternating resolvents. 2021. Dinis, Bruno.
  5. Parametrised Functional Interpretations. 2020. Dinis, Bruno. https://arxiv.org/pdf/arXiv:2005.05794.
  6. 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)
2023/10/13 Strolling through a meadow Seminário de Lógica Matemática
Universidade de Lisboa (Lisboa, Portugal)
2023/09/07 How I learned to stop worrying and divide by zero
Universita degli studi di Napoli “Federico II”. (Nápoles, Itália)
2023/06/16 Marginal and Large differences International Workshop on Mathematics and Physical Sciences
Universidade de Évora (Évora, Portugal)
2023/03/23 What if worlds could vary? Seminário de Lógica Matemática
Universidade de Lisboa (Lisboa, Portugal)
2022/01/20 Functional interpretations and applications Séminaire en ligne, Rencontres mensuelles “CHoCoLa” Curry-Howard : Calcul et Logique
University Lyon (online due to the pandemic)
2021/05/13 Functional interpretations for nonstandard arithmetic FMI/IMAR Logic Seminar
University of Bucharest ((online due to the pandemic))
2021/04/21 Metastability and strong convergence Seminário de Álgebra e Lógica
CMA/FCT- Universidade Nova de Lisboa (Portugal)
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
2023/12/02 - 2024/02/15 Non-standard Days 2024 (2024/02/08 - 2024/02/09)
Oficina (workshop) (Coorganizador)
 Universidade de Évora, Portugal
2022 - 2022 2º Encontros Abertos do CMAFcIO (2022/01/13 - 2022/01/14)
Encontro (Coorganizador)
 Fundação da Faculdade de Ciências da Universidade de Lisboa, 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