???global.info.a_carregar???
CÁTIA SOFIA PENICHE LENTE DINIS DIAS. Concluiu o(a) Doutoramento em Matemática em 2013/04/08 pela Universidade de Évora, Mestrado em Matemática em 2003/01/07 pela Universidade de Lisboa Faculdade de Ciências e Licenciatura em Matemática em 1999/07/28 pela Universidade de Lisboa Faculdade de Ciências. Publicou 3 artigos em revistas especializadas. Tem interesse em Reticulados, Teoria de Jogos Combinatórios e Programação, com ênfase na utilização da linguagem Python.
Identification

Personal identification

Full name
CÁTIA SOFIA PENICHE LENTE DINIS DIAS

Citation names

  • DIAS, CÁTIA
  • DIAS, CÁTIA LENTE

Author identifiers

Ciência ID
9211-3BB7-E75E
ORCID iD
0000-0001-5803-9168

Knowledge fields

  • Exact Sciences - Mathematics
Education
Degree Classification
2013/04/08
Concluded
 Matemática (Doutoramento)
Major in Especialidade: Matemática e Aplicações
Universidade de Évora, Portugal
2003/01/07
Concluded
 Matemática (Mestrado)
Major in Álgebra
Universidade de Lisboa Faculdade de Ciências, Portugal
1999/07/28
Concluded
 Matemática (Licenciatura)
Major in Não Aplicável
Universidade de Lisboa Faculdade de Ciências, Portugal
Affiliation

Teaching in Higher Education

Category
Host institution 		Employer
2016 - 2019 Adjunct Teacher (Polytechnic Teacher) Instituto Politécnico de Lisboa Instituto Superior de Engenharia de Lisboa, Portugal
2013 - 2016 Adjunct Teacher (Polytechnic Teacher) Instituto Politécnico de Lisboa Instituto Superior de Engenharia de Lisboa, Portugal
2002 - 2013 Assistant (Polytechnic Teacher) Instituto Politécnico de Lisboa Instituto Superior de Engenharia de Lisboa, Portugal
Outputs

Publications

Journal article
  1. Carvalho, Alda; Santos, Carlos; Dias, Cátia; Coelho, Francisco; Neto, João P.; Nowakowski, Richard; Vinagre, Sandra; et al. "On lattices from combinatorial game theory: infinite case". Theoretical Computer Science 527 (2020): 37-49. http://hdl.handle.net/10400.21/14830.
    10.1007/s00182-020-00715-3
  2. Carvalho, Alda; Santos, Carlos Pereira dos; Dias, Catia; Coelho, Francisco; Neto, João Pedro; Nowakowski, Richard; Vinagre, Sandra. "On lattices from combinatorial game theory modularity and a representation theorem: finite case". (2014): http://hdl.handle.net/10400.21/5012.
    10.1016/j.tcs.2014.01.025
  3. Carvalho, Alda; Santos, Carlos P.; Dias, Cátia Lente; Coelho, Francisco; Neto, João Pedro; Vinagre, Sandra. "A recursive process related to a partizan variation of wythoff". Integers, Electronic Journal of Combinatorial Number Theory (2012): http://hdl.handle.net/10174/5240.
Preprint
  1. Metherall, Brady; Almeida, Filipa; Brennan, Georgia S.; Dias, Cátia; Geraldes, Carlos; Silva, Teresa. "Optimal fleet management and rapid scheduling". 2022. http://dx.doi.org/10.33774/miir-2022-6p40m.
    10.33774/miir-2022-6p40m
Thesis / Dissertation
  1. Dias, Cátia Sofia Peniche Lente Dinis. "Lattices related to conway's construction". PhD, 2015. http://hdl.handle.net/10174/15817.
  2. "Uma Introdução ao Estudo dos Reticulados Ortomodulares". Master, Universidade de Lisboa Faculdade de Ciências, 2003.
Activities

Oral presentation

Presentation title Event name
Host (Event location)
2015/02/23 Lattices of Combinatorial Game Theory Combinatorial Game Theory Colloquium I
(Lisboa, Portugal)

Supervision

Thesis Title
Role 		Degree Subject (Type)
Institution / Organization
2022/09 - 2023/07 Introdução aos Reticulados
Co-supervisor
 Matemática Aplicada à Tecnologia e à Empresa (Degree)
Instituto Politécnico de Lisboa Instituto Superior de Engenharia de Lisboa, Portugal
2022/09/26 - 2023/02/06 Análise Contratual e Estudo dos Alertas em Cibersegurança na SGE
Co-supervisor
 Matemática Aplicada à Tecnologia e à Empresa (Degree)
Instituto Politécnico de Lisboa Instituto Superior de Engenharia de Lisboa, Portugal

Secretaria-Geral da Economia, Portugal
2021/10/06 - 2022/07/30 A Sinistralidade Rodoviária em Portugal
Co-supervisor
 Matemática Aplicada à Tecnologia e à Empresa (Degree)
Instituto Politécnico de Lisboa Instituto Superior de Engenharia de Lisboa, Portugal

Infraestruturas de Portugal SA, Portugal
2021/09 - 2022/07 Complementos de Álgebra: Minimização de Autómatos
Co-supervisor
 Matemática Aplicada à Tecnologia e à Empresa (Degree)
Instituto Politécnico de Lisboa Instituto Superior de Engenharia de Lisboa, Portugal
2020/10/13 - 2021/08/08 Deteção de Pedreiras com Ferramentas de GeoAI na IP
Co-supervisor
 Matemática Aplicada à Tecnologia e à Empresa (Degree)
Instituto Politécnico de Lisboa Instituto Superior de Engenharia de Lisboa, Portugal

Infraestruturas de Portugal SA, Portugal
2020/02/26 - 2020/07/17 Integração de alertas meteorológicos no Sistema de Informação Geográfico da Infraestruturas de Portugal
Co-supervisor
 Matemática Aplicada à Tecnologia e à Empresa (Degree)
Instituto Politécnico de Lisboa Instituto Superior de Engenharia de Lisboa, Portugal

Infraestruturas de Portugal SA, Portugal