Ph.D. em Ciência da Computação e Matemática

Geral

Descrição do programa

120454_biblio_950x350.jpg

Área: Ciência da Computação e Matemática

  • Inteligência Artificial e Sistemas Inteligentes
  • Computação e Matemática
  • Cíber segurança
  • Ciência de Dados e Aprendizado de Máquina
  • Sistemas Embarcados e IoT
  • Gerenciamento de processos
  • Engenharia de Software e Sistemas de Informação

Inteligência Artificial e Sistemas Inteligentes

  • Controle adaptativo e otimização
  • Políticas de Adaptação
  • Sistemas coletivos e adaptativos
  • Representação do conhecimento e raciocínio autonômico

Computação e Matemática

  • Aspectos algébricos e lógicos da computação
  • Modelos Computacionais e Modelos de Computação
  • Linguagens formais
  • Línguas algébricas para domínios específicos
  • Teoria dos Modelos
  • Aspectos metodológicos do ensino de ciências120455_PhD1Year-Groupphoto.jpg

Cíber segurança

  • Políticas de controle de acesso e uso de recursos
  • Tecnologias de Ledger Distribuído
  • Design de sistemas resilientes
  • Segurança de rede
  • Sistemas de Detecção de Intrusão

Ciência de Dados e Aprendizado de Máquina

  • Modelos baseados em dados de sistemas complexos
  • Métodos de análise de dados baseados em topologia
  • Verificação do sistema orientada por dados
  • Otimização e técnicas econométricas
  • Modelagem discriminativa e generativa

Sistemas Embarcados e IoT

  • Middleware e serviços
  • Comunicação e rede para sistemas sem fio e embarcados
  • Specifica, progettazione and analisi, e verifica di sistemi embedded distribiti
  • Redes de sensores sem fio
  • Eficiência energética e colheita

Gerenciamento de processos

  • Melhoria contínua de sistemas de informação com reconhecimento de processos
  • Promulgação de Processos de Negócios Colaborativos e Distribuídos, incluindo Blockchain
  • Modelos para sistemas intensivos de processo
  • Técnicas de Mineração de Processos
  • Simulação e verificação de modelos de colaboração com reconhecimento de dados

Engenharia de Software e Sistemas de Informação

  • Engenharia de Arquitetura Empresarial
  • Métodos Formais Aplicados e Ferramentas de Verificação
  • Teste e verificação em uma configuração distribuída
  • Análise Quantitativa e Ferramentas
  • Monitoramento e verificação de tempo de execução
Última atualização Setembro 2019

Sobre a escola

UNICAM has instituted an International School of Advanced Studies with the objective of increasing the internationalisation of Doctoral education.

UNICAM has instituted an International School of Advanced Studies with the objective of increasing the internationalisation of Doctoral education. Ler Menos