Menu toggle

Atenção

Recomenda-se que o candidato discuta, antes de escrever o pré-projeto, o tema escolhido com o professor proponente do mesmo.
Apesar do tema escolhido por um candidato ser associado a um professor orientador, por conta da disponibilidade de orientação dos professores, um aluno pode ser aprovado no processo de seleção para ser orientado por um outro professor da mesma linha de pesquisa associada ao tema escolhido. No resultado da seleção, será informado o nome do orientador alocado para cada candidato aprovado.

Aprendizagem de Máquina e Mineração

Temas Pré-projeto
Modelos de predição de falhas e vida útil de equipamentos
Extração de Conhecimento em Redes Neurais Artificiais
Doutorado em Data Streams+Concept Drift - a ser proposto pelo candidato
Combinação de classificadores: algoritmos e aplicações
UMA ABORDAGEM EXPLORATÓRIA PARA IDENTIFICAÇÃO DE PERDAS NO SISTEMA DE ABASTECIMENTO DOS GRANDES ANÉIS DO RECIFE ATRAVÉS DE DATA SCIENCE E ANALYTICS (Doutorado Acadêmico Industrial com a COMPESA)
Aprendizado e Povoamento Semi-automático de Ontologias a partir de Fontes Textuais
Orientador
Adiel Teixeira de Almeida Filho
Frederico Luiz Gonçalves de Freitas
George Darmiton da Cunha Cavalcanti
Ricardo Bastos Cavalcante Prudêncio
Roberto Souto Maior de Barros
Teresa Bernarda Ludermir

Avaliação de Desempenho e Dependabilidade

Temas Pré-projeto
Arquiteturas e Protocolos para Internet das Coisas
Avaliação e Modelagem de SGBD NoSQL considerando desempenho, disponibilidade e consumo de energia
Avaliação de Performabilidade de Serviços baseados em Cloud Computing
Avaliação de Dependabilidade de Redes Virtualizadas
Avaliação de Redes Definidas por Software (SDN) e Virtualização de Funções de Rede (NFV)
Modelagem Formal de Sistemas de Tempo Real Críticos com Restrições de Energia
Avaliação de Dependabilidade para Cloud Computing para Suporte ao Planejamento de Implantação de Serviços Confiáveis
Avaliação de Disponibilidade e Desempenho em Cache Programável em Rede Definida por Software - SDN
Modelo Simulável do Sistema Integrado dos Grandes Anéis do Recife
Orientador
Eduardo Antônio Guimarães Tavares
Paulo Romero Martins Maciel
Ricardo Massa Ferreira de Lima

Banco de Dados

Temas Pré-projeto
Aspectos de Qualidade de Dados Abertos da Administração Pública no Contexto da Mineração de Processos de Negócio
Análise de Relacionamentos Complexos em Banco de Dados em Grafos Aplicada a Crimes contra o Patrimônio Público
Uma Plataforma de Processamento de Big Data baseada em Blockchain
Orientador
Ana Carolina Salgado
Ricardo Massa Ferreira de Lima
Valéria Cesário Times

Computação Evolucionária, Aprendizagem e Otimização

Temas Pré-projeto
Virtual Evolution of Digital Designs on Programmable Logic Devices
O Emprego de Aprendizagem de Máquina Estatística para Evolução Diferencial: Proposição de Modelos
Orientador
Aluizio Fausto Ribeiro Araújo
Stefan Michael Blawid

Engenharia de Software e Linguagens de Programação

Temas Pré-projeto
Repositório de Revisões Sistemáticas de Literatura
Identificação e avaliação de mecanismos de suporte às ameaças à validade e ações de mitigação em contextos específicos da área de Engenharia de Software Experimental
Modelos de dados para Aplicações em Cidades Inteligentes
Sintetizador automático de programas baseado em casamento de padrões
Towards a Multilevel Theory of Software Development Effectiveness: A Qualitative In-depth Understanding of Task Interdependency and Intra-team Interactions
Towards a Multilevel Theory of Software Development Effectiveness: A Quantitative Model and Supporting Management Tools
Compreendendo cenários de aplicação de métricas de manutenibilidade de software
Síntese de Software de um Subconjunto da Lógica
Análise da Composição de Átomos de Confusão
Improving the Energy Efficiency of GPU-based Mobile Games
Continuous integration and delivery with smarter code integration tools
Adequação da Abordagem Ágil de Desenvolvimento de Software aos Requisitos da LGPD
Um novo framework para o desenvolvimento de contratos inteligentes (smart contracts) confiáveis
Usando Linguagem Natural para Escrever Teste de Software
Encontrando Bugs usando Processamento de Linguagem Natural
Melhorando o Teste de Jogos de Computador
Definindo Requisitos de Sistemas Críticos de Segurança
Síntese de Programas no contexto de Liquid Haskell
Determinação automática de sequência para aplicação de leis de programação em transformação de programas
Título: Análise, geração e execução eficiente de testes de mutação
Análise de Variabilidade de Software no Tempo e no Espaço
Orientador
Augusto Cézar Alves Sampaio
Alexandre Cabral Mota
André Luís de Medeiros Santos
Alexandre Marcos Lins de Vasconcelos
Marcelo Bezerra d'Amorim
Fabio Queda Bueno da Silva
Fernando José Castor de Lima Filho
Jaelson Freire Brelaz de Castro
Juliano Manabu Iyoda
Leopoldo Motta Teixeira
Márcio Lopes Cornélio
Paulo Henrique Monteiro Borba
Sérgio Castelo Branco Soares

Fundamentos Matemáticos da Computação

Temas Pré-projeto
Teoria Construtiva de Tipos e Teoria da Homotopia
Orientador
Ruy José Guerra Barretto de Queiroz

Inteligência Computacional

Temas Pré-projeto
Métodos de aprendizado de máquina para dados quantitativos, simbólicos e relacionais
Enxames de Distribuições de Probabilidade
Sistemas Inteligentes para Previsão de Séries Temporais
Recuperação de Informação em Documentos Legais
Agrupamento por Subespaço para Dados de Altas Dimensões
Orientador
Adriano Lorena Inácio de Oliveira
Aluizio Fausto Ribeiro Araújo
Francisco de Assis Tenório de Carvalho
Paulo Salgado Gomes de Mattos Neto
Renata Maria Cardoso Rodrigues de Souza

Multidisciplinar

Temas Pré-projeto
Design Antropológico de sistema de suporte ao trabalho cooperativo entre professores
Design Antropológico de sistemas de recomendações educacionais
Modeling of Percolating Nano Networks
mediacao juridica e deducao
AVALIAÇÃO DE HEURÍSTICAS BASEADA EM EVIDÊNCIAS PARA DECISÕES EM ACESSIBILIDADE
Gestão Autônoma de Aprendizado para Inovação
Colaboração em Aprendizado para Inovação
Combinação de classificadores e meta-aprendizado como estratégia de detecção de intrusão
Orientador
Adiel Teixeira de Almeida Filho
Alex Sandro Gomes
Cristiano Coelho de Araújo
Divanilson Rodrigo de Sousa Campelo
Frederico Luiz Gonçalves de Freitas
Stefan Michael Blawid

Processamento e Síntese de Mídias e Interação

Temas Pré-projeto
Interatividade, Criatividade e Tecnologia em Games e Arte
Avanços em Projeto Geométrico para Impressão 3D
Orientador
Geber Lisboa Ramalho
Silvio de Barros Melo

Reconhecimento de Padrões e Processamento de Sinais

Temas Pré-projeto
Avaliação Automática da Qualidade de Imagens
Detecção de Múltiplas Regiões Salientes em Cenas Naturais
Aplicações de Aprendizagem Profunda em Artes: Quadrinhos
Segmentacao Imagens Medicas
Reconhecimento de Padrões usando Deep Learning
Orientador
Carlos Alexandre Barros de Mello
Tsang Ing Ren

Redes de Computadores

Temas Pré-projeto
Arquiteturas, orquestração e segurança no contexto 5G
Roteamento e escalonamento de trafego em IEEE 802.1 Qbv
Comunicação 5G ultra-reliable low-latency (URLLC) e TSN
Novas arquiteturas de redes; Monitoramento, Eficiência Energética e Reprodutibilidade de experimentos; e Segurança em Internet das Coisas
O automóvel em um ambiente de IoT: desafios e oportunidades
Protocolos de Comunicação Inteligentes para Redes IoT e de Sensores
Orientador
Divanilson Rodrigo de Sousa Campelo
Djamel Fawzi Hadj Sadok
Kelvin Lopes Dias
Renato Mariz de Moraes
José Augusto Suruagy Monteiro

Sistemas Embarcados

Temas Pré-projeto
Otimização em Comunicação C-V2X para Aplicações Veiculares
Orientador
Abel Guilhermino da Silva Filho

Visão Computacional, Realidade Virtual e Aumentada

Temas Pré-projeto
Realidade Aumentada
Orientador
Veronica Teichrieb

Sistemas de Comunicação

Temas Pré-projeto
Protocolos de Comunicação Inteligentes para Redes IoT e de Sensores
Orientador
Renato Mariz de Moraes

Sistemas Distribuídos

Temas Pré-projeto
Ambientes Multi-Nuvens Inteligentes
Middleware Adaptativo com Controle Descentralizado
Aplicações Baseadas em Microsserviços com Adaptação Proativa
Uma solução para melhoria de segurança em sistemas IoT através do uso de Blockchain
Orientador
Carlos André Guimarães Ferraz
Nelson Souto Rosa