???global.info.a_carregar???
Identification

Personal identification

Full name
Bruno Miguel Antunes Dinis

Citation names

  • Dinis, Bruno

Author identifiers

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

Addresses

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

Websites

Knowledge fields

  • Exact Sciences - Mathematics

Languages

Language Speaking Reading Writing Listening Peer-review
Spanish; Castilian Intermediate (B1) Advanced (C1) Intermediate (B1) Intermediate (B1)
French Beginner (A1) Intermediate (B1) Beginner (A1) Beginner (A1)
English Advanced (C1) Advanced (C1) Advanced (C1) Advanced (C1)
Italian Elementary (A2) Upper intermediate (B2) Elementary (A2) Upper intermediate (B2)
Education
Degree Classification
2008
Concluded
 Matemática (Doutoramento)
Major in 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" (THESIS/DISSERTATION)
2006
Concluded
 Pós-Graduação em Matemática e Aplicações (Especialização pós-bacharelato)
Universidade de Évora, Portugal
 18
2005
Concluded
 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" (THESIS/DISSERTATION)
 15
Affiliation

Science

Category
Host institution 		Employer
2019/07/01 - 2022/01/31 Contracted Researcher (Research) 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 Postdoc (Research) FCiênciasID Associação para a Investigação e Desenvolvimento de Ciências, Portugal
2016/12/28 - 2017/06/30 Visiting Researcher (Research) Thang Long University, Vietnam

Teaching in Higher Education

Category
Host institution 		Employer
2022/02/01 - Current Assistant Professor (University Teacher) Universidade de Évora, Portugal
2014 - 2022 Invited Assistant (University Teacher) Universidade de Lisboa Faculdade de Ciências, Portugal
2014 - 2016 Invited Assistant (University Teacher) Universidade de Lisboa Faculdade de Ciências, Portugal
2011/09/01 - 2013/08/31 Assistant (University Teacher) Universidade Nova de Lisboa Instituto Superior de Estatística e Gestão de Informação, Portugal
2010/02/01 - 2012/07/01 Assistant (Polytechnic Teacher) Instituto Politécnico de Setúbal, Portugal

Others

Category
Host institution 		Employer
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
Projects

Grant

Designation Funders
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
Concluded

Contract

Designation Funders
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
Concluded
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
Concluded
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
Concluded
Outputs

Publications

Book
  1. Dinis, Bruno; van den Berg, Imme. Neutrices and external numbers: A flexible number system. 2019.
    10.1201/9780429291456
Conference paper
  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
Journal article
  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
Preprint
  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
Thesis / Dissertation
  1. Reis, Valdir Delgado dos. "Teoremas do valor médio e intermédio". Master, 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". PhD, 2012. http://hdl.handle.net/10174/16194.

Other

Other output
  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.
Activities

Oral presentation

Presentation title Event name
Host (Event location)
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, Italy)
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, Germany)
2019/05/07 On functional interpretations for semi-intuitionistic nonstandard arithmetic with majorizability
Queen Mary University (Londres, United Kingdom)
2019/05/02 On algebraic flexible structures
Università degli studi della Campania Luigi Vanvitelli (Caserta, Italy)
2019 Nonstandard realizability with and without truth Facets of realizability,
École Normale Supérieure (Paris - Saclay, France)
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, Germany)
2018 Proof mining of the proximal point algorithm with multi-parameters Workshop on Proof Theory and its Applications
University of Ghent (Ghent, Belgium)
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, Vietnam)
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, United Kingdom)
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, United Kingdom)
2006 On a possible set of axioms for the external numbers of Nonstandard Analysis Nonstandard Methods
Universidade de Pisa (Pisa, Italy)

Supervision

Thesis Title
Role 		Degree Subject (Type)
Institution / Organization
2018/10 - 2020/09/25 Teoremas do valor médio e intermédio
Co-supervisor
 Matemática para Professores (Master)
Universidade Aberta, Portugal

Event organisation

Event name
Type of event (Role) 		Institution / Organization
2020 - Current Seminário de Lógica Matemática 2020/2021 (Webinar) (2020)
Seminar (Co-organisor)
 Universidade de Lisboa Faculdade de Ciências, Portugal
2023/12/02 - 2024/02/15 Non-standard Days 2024 (2024/02/08 - 2024/02/09)
Workshop (Co-organisor)
 Universidade de Évora, Portugal
2022 - 2022 2º Encontros Abertos do CMAFcIO (2022/01/13 - 2022/01/14)
Meeting (Co-organisor)
 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)
Meeting (Other)
 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)
Meeting (Member of the Scientific Committee)
 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)
Meeting (Co-organisor)
 Instituto Politécnico de Bragança, Portugal

Association member

Society Organization name Role
2020 - Current Reviewer for zbMATH Reviewer (Reviewer ID: 18490)
2018 - Current The Proof Society
2017 - Current Reviewer for Mathematical Reviews of the American Mathematical Society Reviewer Number: 132425
2013 - Current 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

Mentoring / Tutoring

Topic Student name
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