Personal Data

Full name

Bruno Miguel Antunes Dinis

Publishing name

Bruno Miguel Antunes Dinis

Birthday

1981-05-09T00:00:00

Academic Degrees

LICENCIATURA(4)

Degree date

2005

Final grade

15

Degree granting institution

Universidade de Évora

School / College / Campus

Other

Thesis title

Sobre uma possível axiomática para o conjunto dos números externos da análise não-standard

Supervisor

Imme van dn Berg

Co-supervisor

n/a

Scientific area

Matemática e Ciências da Computação

DOUTORAMENTO(0)

Degree date

2013

Final grade

19

Degree granting institution

Universidade de Évora

School / College / Campus

Escola de Ciências e Tecnologia

Thesis title

Axiomatics for the external numbers of nonstandard analysis and modelation of uncertainties

Supervisor

Imme P. van den Berg

Co-supervisor

n/a

Scientific area

Matemática

Profissional activity

Period Position Institution
28-12-2016 - 30-06-2017 Investigador visitante Thang Long University.
01-03-2014 - 27-12-2016 Bolseiro de Investigação: referência SFRH / BPD / 97436 / 2013 Fundação para a Ciência e Tecnologia (FCT)
01-09-2011 - 31-08-2013 Professor Assistente Convidado Instituto Superior de Estatística e Gestão de Informação (ISEGI) - Universidade Nova de Lisboa

Fevereiro 2010 - Julho 2012 Professor Assistente Convidado Instituto Politécnico de Setúbal
2005-2007 Colaborador Universidade de Évora

Area of scientific activity

Area of scientific activity

Lógica Matemática, Teoria da Demonstração, Matemática Não-standard.

Specialization domain

Matemática

Current main scientific area

Matemática Não-standard; Teoria da Demonstração.

Other scientific activities

Lógica Matemática

Awards

Year Award Awarding entity

Publications

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

  • Axiomatics for the external numbers of nonstandard analysis}
    (with I. van den Berg) - Journal of Logic \& Analysis 9:7 (2017) 1--47. doi: 10.4115/jla.2017.9.7.

Outras publicações

  • Review of "From Nonstandard Analysis to Various Flavours of Computability Theory'' by S. Sanders. MR3655521.

    https://mathscinet.ams.org/mathscinet-getitem?mr=3655521.

Outras publicações

  • Review of "The Herbrand functional interpretation of the Double Negation Shift" by M. Escardó and P. Oliva
    MR3663418.

    https://mathscinet.ams.org/mathscinet-getitem?mr=3663418

Outras publicações

  • An introduction to Natural Deduction - (aceite para publicação na revista Pi, Journal of the Vietnamese Mathematical Society). ISSN 2525-2437, http://www.pi.edu.vn/.

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

  • Characterization of distributivity in a solid (com Imme van den Berg) - Indagationes Mathematicae (2017). doi: 10.1016/j.indag.2017.10.008.

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

  • On the quotient class of non-archimedean fields (com Imme van den Berg) - Indagationes Mathematicae 28(4): 784 - 795 (2017). doi: 10.1016/j.indag.2017.05.001.

Publicações em actas de encontros científicos

  • Old and new approaches to the Sorites paradox.- (aceite para publicação nos Proceedings of the Annual Scientific Meeting of Thang Long University) disponível online em https://arxiv.org/abs/1704.00450.

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

  • Intuitionistic nonstandard bounded modified realisability and
    functional interpretation (com Jaime Gaspar) - Annals of Pure and Applied Logic (2017). doi: 10.1016/j.apal.2017.12.004

Outras publicações

  • A radically elementary introduction to nonstandard analysis -
    Pi, Journal of the Vietnamese Mathematical Society, 5:34-37 (2017)
    ISSN 2525-2437, http://www.pi.edu.vn/.

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

  • Instantiation overflow (com Gilda Ferreira) - Reports on
    Mathematical Logic 51 (2016) 15--33. doi:10.4467/20842589RM.16.002.5279.

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

  • Interpreting weak Konig's lemma in nonstandard theories of arithmetic- (com Fernando Ferreira) - Math. Log. Quart., 63: 114--123 (2017). doi:10.1002/malq.201600066.

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

  • Algebraic properties of external numbers - (com Imme van den Berg) - Journal of Logic &
    Analysis 3:9 (2011) 1-30. doi: 10.4115/jla.2011.3.9.

Teses

  • Axiomatics for the External Numbers of Nonstandard Analysis and
    modelation of uncertainties. (PhD Thesis, University of Évora, May 2013)

Communications

Outras comunicações orais

Conferência internacional Nonstandard Methods 2006, em Pisa, Itália, de 25 a 31 de Maio de 2006. <br><br>Título: Sobre uma possível axiomática para o conjunto dos números externos da Análise Não-Standard (30 minutos).

Comunicações orais por convite

Conferência internacional Logic Colloquium, European Summer Meeting of the ASL - Julho 2013 - Universidade de Évora.

Título: Algebraic structures with individualized neutral elements

Comunicações orais por convite

Título: Neutrizes e números externos, uma introdução

Sessão temática "Assintótica Não-Standard" do Encontro Nacional da SPM 2016.

Comunicações em painel ("poster")

Título: Interpreting weak K\H{o}nig's lemma in nonstandard theories of
arithmetic, 2016 - Logic Colloquium, Leeds - England.
http://www.lc2016.leeds.ac.uk/.

Comunicações orais por convite

Solids, External Numbers and Nonstandard Analysis, March 2017 -
Institute of Mathematics, Vietnam Academy of Science and Technology.

Comunicações em painel ("poster")

Algebra Workshop 34 years of CAUL, Lisboa 2014

Título: On structures with two semigroup operations.

https://sites.google.com/site/caul34years/

Comunicações em painel ("poster")

Conferência internacional Logic Colloquium, Vienna 2014.

Título: An axiomatic approach to modelling of orders of magnitude.

http://www.logic.at/lc2014/index.html

Comunicações em painel ("poster")

Conferência internacional Logic and Mathematics 2009 - August 2009 - Universidade de York

Título: Axiomatizing the external numbers,