???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.
Identificação

Identificação pessoal

Nome completo
CÁTIA SOFIA PENICHE LENTE DINIS DIAS

Nomes de citação

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

Identificadores de autor

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

Domínios de atuação

  • Ciências Exatas - Matemática
Formação
Grau Classificação
2013/04/08
Concluído
 Matemática (Doutoramento)
Especialização em Especialidade: Matemática e Aplicações
Universidade de Évora, Portugal
2003/01/07
Concluído
 Matemática (Mestrado)
Especialização em Álgebra
Universidade de Lisboa Faculdade de Ciências, Portugal
1999/07/28
Concluído
 Matemática (Licenciatura)
Especialização em Não Aplicável
Universidade de Lisboa Faculdade de Ciências, Portugal
Percurso profissional

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento 		Empregador
2016 - 2019 Professor Adjunto (Docente Ensino Superior Politécnico) Instituto Politécnico de Lisboa Instituto Superior de Engenharia de Lisboa, Portugal
2013 - 2016 Professor Adjunto (Docente Ensino Superior Politécnico) Instituto Politécnico de Lisboa Instituto Superior de Engenharia de Lisboa, Portugal
2002 - 2013 Assistente (Docente Ensino Superior Politécnico) Instituto Politécnico de Lisboa Instituto Superior de Engenharia de Lisboa, Portugal
Produções

Publicações

Artigo em revista
  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.
Pré-impressão
  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
Tese / Dissertação
  1. Dias, Cátia Sofia Peniche Lente Dinis. "Lattices related to conway's construction". Doutoramento, 2015. http://hdl.handle.net/10174/15817.
  2. "Uma Introdução ao Estudo dos Reticulados Ortomodulares". Mestrado, Universidade de Lisboa Faculdade de Ciências, 2003.
Atividades

Apresentação oral de trabalho

Título da apresentação Nome do evento
Anfitrião (Local do evento)
2015/02/23 Lattices of Combinatorial Game Theory Combinatorial Game Theory Colloquium I
(Lisboa, Portugal)

Orientação

Título / Tema
Papel desempenhado 		Curso (Tipo)
Instituição / Organização
2022/09 - 2023/07 Introdução aos Reticulados
Coorientador
 Matemática Aplicada à Tecnologia e à Empresa (Licenciatura/Bacharelato)
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
Coorientador
 Matemática Aplicada à Tecnologia e à Empresa (Licenciatura/Bacharelato)
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
Coorientador
 Matemática Aplicada à Tecnologia e à Empresa (Licenciatura/Bacharelato)
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
Coorientador
 Matemática Aplicada à Tecnologia e à Empresa (Licenciatura/Bacharelato)
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
Coorientador
 Matemática Aplicada à Tecnologia e à Empresa (Licenciatura/Bacharelato)
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
Coorientador
 Matemática Aplicada à Tecnologia e à Empresa (Licenciatura/Bacharelato)
Instituto Politécnico de Lisboa Instituto Superior de Engenharia de Lisboa, Portugal

Infraestruturas de Portugal SA, Portugal