Menu toggle

Atenção

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.

Agentes Inteligentes e Representação do Conhecimento

Temas Pré-projeto
Especificação e Validação de Requisitos no contexto da Engenharia de Ontologias
Agentes inteligentes pessoais funcionais: Chatbots/Nudgebots como incentivadores de mudança de hábitos para prevenção e controle de diabetes
Mapeamento de incoerências entre as competências desenvolvidas por profissionais de TI e requeridas no mercado de trabalho
Rastreamento de Contatos em Doenças Infectocontagiosas
Simplificação de Sentenças como Estratégia de Melhoria da Interpretação de Textos
Mineração de texto com ênfase em Teste de Software
Extração de Informação a partir de textos semiestruturados
Orientador
Flávia de Almeida Barros
Frederico Luiz Gonçalves de Freitas
Patrícia Cabral de Azevedo Restelli Tedesco
Rafael Dueire Lins
Sergio Ricardo de Melo Queiroz

Aprendizagem de Máquina e Mineração

Temas Pré-projeto
Detecção de anomalias e modelos de predição de falhas
Aprendizagem de Máquina para Otimização de Processos de Teste de Software
Modelo de predição de resultados de futebol
Detecção e Reparo de Ações Automáticas em Android
Redes Neurais Explicaveis
Métodos de aprendizado de máquina para dados quantitativos, simbólicos e relacionais
Sistemas quanticos inteligentes: algoritmos e treinamento
Memórias associativas quânticas
Deep Learning em reconhecimento de padrões
Mestrado em Data Streams+Concept Drift – tema aberto
APRENDIZAGEM DE PREFERÊNCIAS E APLICAÇÕES EM BUSINESS ANALYTICS
Análise de texto (mineração de opinião, análise de sentimento, fake news) usando combinação de classificadores
Mineração de Processos no Judiciário Brasileiro
Orientador
Alexandre Cabral Mota
Adiel Teixeira de Almeida Filho
Cleber Zanchettin
Francisco de Assis Tenório de Carvalho
Fernando Maciano de Paula Neto
George Darmiton da Cunha Cavalcanti
Ricardo Bastos Cavalcante Prudêncio
Ricardo Massa Ferreira de Lima
Roberto Souto Maior de Barros
Teresa Bernarda Ludermir

Avaliação de Desempenho e Dependabilidade

Temas Pré-projeto
Análise de Segurança para Braços Robóticos baseada em STPA
Arquiteturas e Protocolos para Internet das Coisas
Avaliação e Modelagem de SGBD NoSQL considerando desempenho, disponibilidade e consumo de energi
Avaliação de Redes Definidas por Software (SDN) e Virtualização de Funções de Rede (NFV)
Comparação de serviços e aplicações em redes LTE e 5G
Avaliação de Performabilidade de Serviços baseados em Cloud Computing
Avaliação de sistemas de tempo real críticos usando abordagem probabilísticas
Avaliação de Dependabilidade de Redes Virtualizadas
Modelagem Formal de Sistemas de Tempo Real Críticos com Restrições de Energia
Avaliação de dependabilidade de sistemas baseados em blockchain
Avaliação de desempenho e dependabilidade para o planejamento de sistemas de transporte público
Avaliação de Cloudbursting e Elasticity como meios para melhoria de desempenho e disponibilidade de serviços.
Avaliação de Mecanismos de Tolerância a Falhas em Serviço de Integração de Fog, Edge e Hybrid Clould Computing
Orientador
Alexandre Cabral Mota
Eduardo Antônio Guimarães Tavares
Jamilson Ramalho Dantas
Paulo Romero Martins Maciel

Banco de Dados

Temas Pré-projeto
Ciência de Dados na Web
Rastreamento de Certificados de Energia Renovável com Blockchain
Tema aberto em Engenharia de Dados para Suporte à Decisão
Sistema de Informação de Saúde com Blockchain
Orientador
Luciano de Andrade Barbosa
Robson do Nascimento Fidalgo
Valéria Cesário Times

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

Temas Pré-projeto
Algoritmos, Otimização, Machine Learning
Evolução Diferencial para Otimização Discreta
Algoritmos Evolucionários de Muitos Objetivos Baseados em Aprendizagem Online
Orientador
Aluizio Fausto Ribeiro Araújo
Ricardo Martins de Abreu Silva

Engenharia de Software e Linguagens de Programação

Temas Pré-projeto
Repositório de Revisões Sistemáticas de Literatura
Software Architecture for Large Scale Complex IT Systems
Desenvolvendo contratos inteligentes (smart contracts) confiáveis usando analisadores de programas
Desenvolvimento de Sistemas Robóticos usando a Plataforma de Segurança ClearSy (CSSP)
An empirical investigation of the success factors involved in the creation of a Business Process Management Office
Formalização de uma teoria de sistemas concorrentes em Coq
Ambiente integrado para relações de conformidade baseado em Coq
Garantia de Segurança de Sistemas Robóticos
Engenharia de Requisitos para Veículos Autônomos
Comunicação interpessoal na Engenharia de Requisitos
Manutenção de testes automáticos de interface em dispositivos Android
Identificação e correção proativa de resource leaks em aplicações Android
Certificação de FinTecs
Análise, geração e execução eficiente de testes de mutação
Monitoramento de Projetos Públicos: Uma Proposta para o Brasil
Análise e prevenção de test smells
Integração contínua de software com ferramentas de merge semânticas
Transformação de programas escritos na linguagem Rust
Teste de Regressão Efetivo, Eficiente e Escalável
Robótica para automação de testes de aplicativos móveis
Encontrando Bugs usando Processamento de Linguagem Natural
Usando Linguagem Natural para Escrever Testes de Software
Usando Redes Neurais e Processamento de Linguagem Natural para Sumarização e Compreensão de Código
Implementação robótica usando Rust a partir de RoboSim
Programação Orientada a Linguagens [The Rise of Orpheus Project]
Programação Orientada a Testes Via Domain-Specific Language
Geração automática de planos de testes baseada em características de dispositivos móveis
Orientador
Augusto Cézar Alves Sampaio
André Luís de Medeiros Santos
Breno Alexandro Ferreira de Miranda
Marcelo Bezerra d'Amorim
Gustavo Henrique Porto de Carvalho
Henrique Emanuel Mostaert Rebêlo
Hermano Perrelli de Moura
Jaelson Freire Brelaz de Castro
Jessyka Flavyanne Ferreira Vilela
Leopoldo Motta Teixeira
Márcio Lopes Cornélio
Paulo Henrique Monteiro Borba
Sérgio Castelo Branco Soares
Vinicius Cardoso Garcia

Fundamentos Matemáticos da Computação

Temas Pré-projeto
N-GRAFOS PARA LÓGICA CLÁSSICA DE PRIMEIRA ORDEM
Provas como Processos: Uma Abordagem via Grafos de Prova
Orientador
Anjolina Grisi de Oliveira

Inteligência Computacional

Temas Pré-projeto
Técnicas de aprendizado de máquina aplicadas à elaboração de pesquisas estruturais por empresas do IBGE
Sistemas Inteligentes para Previsão de Séries Temporais
Estratégias de agrupamento de usuários com base em perfis de logs de sistemas computacionais
Redes neurais para redução do tempo de detecção do Mycobacterium tuberculosis
Ciência de Dados: Detecção de Fake News usando Dados Intervalares
Orientador
Adenilton José da Silva
Cleber Zanchettin
Daniel Carvalho da Cunha
Paulo Salgado Gomes de Mattos Neto
Renata Maria Cardoso Rodrigues de Souza

Multidisciplinar

Temas Pré-projeto
Simulação da adesão bacteriana e descontaminação de superfícies abióticas com foco no controle da micro e nano topografia para impressão 3D
Sistemas de checagem automática de consistência de leis
Eventos colaborativos limitados por tempo como ferramenta de engajamento de minorias sub-representadas em cursos de computação
AVALIAÇÃO DE HEURÍSTICAS BASEADA EM EVIDÊNCIAS PARA DECISÕES EM ACESSIBILIDADE
Visualização de Dados para Cidades Inteligentes
Aplicações de Data Sketching para a Exploração Visual de Big Data
Estratégias de agrupamento de usuários com base em perfis de logs de sistemas computacionais
Orientador
Adiel Teixeira de Almeida Filho
Divanilson Rodrigo de Sousa Campelo
Frederico Luiz Gonçalves de Freitas
Kiev Santos da Gama
Nivan Roberto Ferreira Júnior
Silvio de Barros Melo

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

Temas Pré-projeto
Avanços na Engenharia de Documentos
Ética, tecnologia, inovação e educação
Orientador
Geber Lisboa Ramalho
Rafael Dueire Lins

Reconhecimento de Padrões e Processamento de Sinais

Temas Pré-projeto
Avaliação Automática da Qualidade de Imagens
Aprendizagem profunda para imagens HDR
Orientador
Carlos Alexandre Barros de Mello
Tsang Ing Ren

Redes de Computadores

Temas Pré-projeto
Comunicação Determinística em Redes Veiculares e in Industria 4.0
Compressão de modelos de redes neurais profundas para identificação de intenções na colaboração humano-robô em dispositivos IoT
Redes Sem Fio Determinísticas Industrias TSN e WiFi7
Otimização do plano de dados em Linux para SFCs
Rede IoT Inteligente para Monitoramento de Datacenters
Redes Definidas por Software e Computação na Borda para Ecossistemas 5G e 6G
Estratégias de Segurança da Informação para Veículos Conectados
Novas arquiteturas de redes; Monitoramento, Eficiência Energética e Reprodutibilidade de experimentos; e Segurança em Internet das Coisas
Tecnologias e Soluções para Provimento de Serviços em Redes 5G/6G
Orientador
Andson Marreiros Balieiro
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
Visão Computacional Embarcada para Aplicações em Oftalmologia
Learning from Ground-Based Radar Data for Precision Agriculture
Development of Smart Sensors by Machine Learning on Microcontrollers
Desenvolvimento de Sistemas Embarcados Inteligentes para Aplicações de IoT e Sistemas Cyber-Físicos Seguros e Robustos.
Detecção de Anomalias no Contexto Veicular
Orientador
Adriano Augusto de Moraes Sarmento
Abel Guilhermino da Silva Filho
Edna Natividade da Silva Barros
Stefan Michael Blawid

Visão Computacional, Realidade Virtual e Aumentada

Temas Pré-projeto
Visualização de dados de saúde através de infográficos interativos
Reconhecimento de Comportamentos a partir de Imagens com Privacidade Preservada
Inspeção da capa externa de dutos flexíveis
Orientador
Judith Kelner
Veronica Teichrieb

Sistemas de Comunicação

Temas Pré-projeto
Protocolos Inteligentes e de Reduzido Consumo de Energia para Redes IoT e de Sensores
Antenas de Microfita
Orientador
Odilon Maroja da Costa Pereira Filho
Renato Mariz de Moraes

Sistemas Distribuídos

Temas Pré-projeto
Um estudo comparativo de recomendação de contexto para o desenvolvimento de aplicações de software no domínio ITS
Blockchain ou não blockchain? Um estudo sobre aplicações blockchain
Desenvolvimento de Middleware Adaptativo Usando Teoria de Controle
Autonomic Multi-Cloud Computing
Orientador
Carlos André Guimarães Ferraz
Nelson Souto Rosa

Geometria Computacional e Modelagem Geométrica

Temas Pré-projeto
Simulação da adesão bacteriana e descontaminação de superfícies abióticas com foco no controle da micro e nano topografia para impressão 3D
Orientador
Silvio de Barros Melo

Biologia Computacional

Temas Pré-projeto
Simulação da adesão bacteriana e descontaminação de superfícies abióticas com foco no controle da micro e nano topografia para impressão 3D
Sumarização eficiente de streams de grafos com aplicações em Biologia Computacional
Orientador
Paulo Gustavo Soares Fonseca
Silvio de Barros Melo