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
Ferramenta de Autoria Inteligente para Construção de Ontologias Expressivas a partir de Modelagem Visual e Linguagem Natural
Ferramentas inteligentes para potencializar a avaliação por pares e feedback em ambientes de aprendizagem colaborativa
Agentes inteligentes pessoais: chatbots como acompanhantes digitais e agentes de recomendação multicritério de investimentos de alto risco
Mineração de texto com ênfase em Extração e Classificação
Orientador
Flávia de Almeida Barros
Frederico Luiz Gonçalves de Freitas
Patrícia Cabral de Azevedo Restelli Tedesco
Sergio Ricardo de Melo Queiroz

Aprendizagem de Máquina e Mineração

Temas Pré-projeto
Recomendação e Geração Automatica de Receitas Culinárias para Pessoas com Restrições Alimentares
Extração de Conhecimento em Redes Neurais Artificiais
Mestrado em Data Streams+Concept Drift - a ser proposto pelo candidato
Aprendizagem de Máquina para Análise de Relatórios de Erros em Software
Combinação de classificadores: algoritmos e aplicações
Aquisição de Linguagem Natural por Agentes Inteligentes
APLICAÇÕES DE INTELIGÊNCIA ARTIFICIAL PARA DESCOBERTA INTELIGENTE DE NOVOS MATERIAIS
Um Framework Distribuído de Processamento de Linguagem Natural para Anotação automática de artigos
Orientador
Adiel Teixeira de Almeida Filho
Frederico Luiz Gonçalves de Freitas
George Darmiton da Cunha Cavalcanti
Hansenclever de França Bassani
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
Tolerância a Falhas de Serviço que integrem Fog, Edge e Hybrid Clould Computing
Avaliação de desempenho, dependabilidade e segurança de estratégias Moving Target Defense para computação em nuvem
Cloudbursting e Elasticity como meios para melhoria de desempenho e disponibilidade de serviços.
Avaliação de desempenho e dependabilidade de sistemas de cloud computing baseado em serviços de streaming de vídeo.
Avaliação de desempenho e dependabilidade para o planejamento de sistemas de transporte público
Modelos Analíticos e Método de Tomada de Decisão para Avaliação e Seleção de Estratégias de Recuperação de Desastres
Orientador
Eduardo Antônio Guimarães Tavares
Jamilson Ramalho Dantas
Paulo Romero Martins Maciel
Ricardo Massa Ferreira de Lima

Banco de Dados

Temas Pré-projeto
Ciência de Dados com Dados da Web
Modelagem Dual e Persistência Poliglota do Registro Eletrônico de Saúde
Orientador
Luciano de Andrade Barbosa
Valéria Cesário Times

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

Temas Pré-projeto
O Emprego de Aprendizagem de Máquina Estatística para Evolução Diferencial: Estudo Comparativo
Evolução Diferencial para Otimização Discreta
Otimização do Compartilhamento de Passeio
Orientador
Aluizio Fausto Ribeiro Araújo
Valéria Cesário Times

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
Análise de segurança e confiabilidade usando CSP/PRISM baseado em STAMP/STPA
Um explorador para Android guiado por cenários advindos de código modificado
ASSERT Framework for Scalable and Productive Continuous Delivery of Applications
Support Tool for Multilevel Analysis of Human Aspects in Software Engineering: The Questionnaire Construction Component
Support Tool for Multilevel Analysis of Human Aspects in Software Engineering: The Data Collection Component
Support Tool for Multilevel Analysis of Human Aspects in Software Engineering: The Data Analysis Component
Support Tool for Multilevel Analysis of Human Aspects in Software Engineering: The Dashboard and Reports Component
Síntese de Software de um Subconjunto da Lógica
Identificação automática de bugs comportamentais pela comparação de explorações do Android
Análise da Composição de Átomos de Confusão
Improving the Energy Efficiency of GPU-based Mobile Games
Análise comparativa entre robôs de limpeza em termos probabilísticos
Uma teoria de testes em Coq
Formalização de uma teoria de sistemas concorrentes em Coq
Ambiente integrado para relações de conformidade baseado em Coq
Automação de testes via robótica
Continuous integration and delivery with smarter code integration tools
Ferramenta de apoio ao gerenciamento de projetos de software com base na análise preditiva de recursos, tempo e custo
Desenvolvendo contratos inteligentes (smart contracts) confiáveis usando analisadores de programas
Uma Estratégia para Reter Colaboradores e Diminuir o Turnover em Projetos de Software
Escalando métodos ágeis para desenvolver grandes sistemas no desenvolvimento de software global (GSD)
Usando Linguagem Natural para Escrever Teste de Software
Encontrando Bugs usando Processamento de Linguagem Natural
Melhorando o Teste de Jogos de Computador
A study about the impact of privacy laws on the organizations
Transformação de Programas Escritos na Linguagem Rust
Teste de Regressão Efetivo, Eficiente e Escalável
Teste de Cobertura Baseado em Contexto
Robótica para automação de testes de aplicativos móveis
Software Testing for Video Games
Título: Análise, geração e execução eficiente de testes de mutação
Identificação e correção automática de memory leaks em aplicações Android
Análise e prevenção de test smells
Modularização e Reuso de Tratamento de Exceçõe
Programação Orientada a Linguagens [The Rise of Orpheus Project]
Um Catálogo para Extração de Contratos para Aspecto
Orientador
Augusto Cézar Alves Sampaio
Alexandre Cabral Mota
André Luís de Medeiros Santos
Alexandre Marcos Lins de Vasconcelos
Breno Alexandro Ferreira de Miranda
Marcelo Bezerra d'Amorim
Fabio Queda Bueno da Silva
Fernando José Castor de Lima Filho
Gustavo Henrique Porto de Carvalho
Henrique Emanuel Mostaert Rebêlo
Hermano Perrelli de Moura
Jessyka Flavyanne Ferreira Vilela
Juliano Manabu Iyoda
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
Modelos de agrupamento simultâneo de objetos e variáveis (co-clustering)
Redes de função de base radial para regressão não linear robusta
Previsão de Séries Temporais na Presença de Mudança de Conceito
Sistemas Inteligentes para Previsão de Séries Temporais
Visualização e Interpretação de Dados de Alta Dimensionalidade
Mapeamento e Auto-localização para Robôs em Ambientes Externos
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

Multidisciplinar

Temas Pré-projeto
Design Anthropology of ubiquitous learning environments
Uma Proposta de Implementação da LGPD em Instituições Públicas
Questões de gênero em eventos colaborativos limitados por tempo
Development of a TCAD Tool for Nanotransistors
LEGIS: Um Sistema Web para Raciocínio Jurídico em Bases TBox e ABox sobre o Formalismo da Lógica Descritiva Preferencial
Modelos de Negócios para Criação de Plataformas Digitais
Gestão Autônoma de Aprendizado para Inovação
Colaboração em Aprendizado para Inovação
Estratégias de agrupamento de usuários com base em perfis de logs de sistemas computacionais
Orientador
Alex Sandro Gomes
Cristiano Coelho de Araújo
Carina Frota Alves
Divanilson Rodrigo de Sousa Campelo
Frederico Luiz Gonçalves de Freitas
Juliano Manabu Iyoda
Kiev Santos da Gama
Stefan Michael Blawid

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

Temas Pré-projeto
Interatividade, Criatividade e Tecnologia em Games e Arte
Percepção na Interação Humano-Robô (HRI) para a Robótica de Consumo
Prototipação Rápida para Integração Hardware e Software na Robótica de Consumo
Visualização de dados de saúde através de infográficos interativos
Avanços em Projeto Geométrico para Impressão 3D
Orientador
Geber Lisboa Ramalho
Judith Kelner
Silvio de Barros Melo

Reconhecimento de Padrões e Processamento de Sinais

Temas Pré-projeto
Avaliação Automática da Qualidade de Sinais de Voz
Avaliação Automática da Qualidade de Imagens
Aplicações de Aprendizagem Profunda em Artes: Quadrinhos
Segmentacao de Imagens Médicas
Orientador
Carlos Alexandre Barros de Mello
Tsang Ing Ren

Redes de Computadores

Temas Pré-projeto
Arquiteturas, orquestração e segurança no contexto 5G
Tecnologias e Mecanismos para Comunicação de Baixa Latência e Alta Confiabilidade em Redes 5G/6G
Escalonamento Incremental de Tarefas em Tempo Real para Redes TSN in Indusrty 4.0
Redes Deterministicas TSN e WiFi
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
Internet das Coisas
Orientador
Andson Marreiros Balieiro
Divanilson Rodrigo de Sousa Campelo
Djamel Fawzi Hadj Sadok
Kelvin Lopes Dias
Paulo André da Silva Gonçalves
Renato Mariz de Moraes
José Augusto Suruagy Monteiro

Sistemas Embarcados

Temas Pré-projeto
Development of an NDVI Drone with Direct Environment Radar Sensing
Desenvolvimento de Sistemas Embarcados Inteligentes para Aplicações de IoT e Sistemas Cyber-Físicos
Sistemas Embarcado para aplicação veicular usando C-V2X
Orientador
Abel Guilhermino da Silva Filho
Edna Natividade da Silva Barros
Stefan Michael Blawid

Visão Computacional, Realidade Virtual e Aumentada

Temas Pré-projeto
Realidade Aumentada
Orientador
Veronica Teichrieb

Sistemas de Comunicação

Temas Pré-projeto
Antenas de Microfita
Protocolos de Comunicação Inteligentes para Redes IoT e de Sensores
Orientador
Odilon Maroja da Costa Pereira Filho
Renato Mariz de Moraes

Sistemas Distribuídos

Temas Pré-projeto
Ambientes Multi-Nuvens Inteligentes
Orientador
Carlos André Guimarães Ferraz

Biologia Computacional

Temas Pré-projeto
Computing Mutant Rates of Plant Viruses by Bayesian Phylogenetic Analysis
Orientador
Stefan Michael Blawid