Ph.D. em Ciência da Computação e Matemática University of Camerino the international School of Advanced Studies

Á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ências

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