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 |