Projetos e temas de pesquisa para 2019

Neste post apresentamos alguns temas e projetos de pesquisa que alguns dos orientadores propõe para os ingressantes em 2019.
A lista não é exaustiva, e podem ser adicionadas mais informações a medida em que forem recebidas. Os orientadores estão indicados em ordem alfabética.

Profa. Anna Helena Reali Costa:
- Aprendizado por Reforço (AR) é uma técnica na qual o agente aprende por meio de repetidas interações com o ambiente, em uma abordagem de tentativa-e-erro. Apesar de muito eficaz, esta técnica peca pela falta de eficiência. Diversas propostas têm sido feitas para acelerar o aprendizado do agente AR. Neste trabalho queremos explorar soluções de Transferência de Conhecimento, isto é, deseja-se aprender uma série de tarefas, possivelmente mais simples, generalizar suas soluções e usar estas soluções generalizadas para acelerar o aprendizado de novas (e mais complexas) tarefas. Diversos domínios são explorados, como jogos, chatbots, etc.
Profa. Cintia Borges Margi:
- O principal tema de pesquisa envolve a aplicação do conceito de redes definidas por software a redes de sensores sem fio e Internet das Coisas, através do arcabouço IT-SDN. Um aspecto interessante a ser abordado é como robôs (ou dispositivos com padrão de mobilidade conhecido) poderiam utilizar deste paradigma para facilitar o encaminhamento de mensagens. Também é possível explorar como as aplicações podem se beneficiar desse novo paradigma.
Prof. Fabio Levy Siqueira:
- Pesquiso na área de Engenharia de Software, mais especificamente em Engenharia de Requisitos (atividades envolvidas em descobrir, documentar e manter requisitos) e Métodos Ágeis. Sobre os métodos ágeis, me interesso por (1) analisar as suas hipóteses e suas aplicações práticas e (2) analisar e melhorar as suas práticas de Engenharia de Requisitos.
  
  Estou aberto a propostas de pesquisa. Mas algumas pesquisas que busco alunos são (converse comigo para mais detalhes):
  - Definição de um modelo “unificado” de representações de requisitos. A ideia é criar um metamodelo unificando diversas representações de requisitos. Referências: Siqueira e Muniz Silva, 2011, Bézivin, 2005.
  - Aplicação de engenharia de requisitos orientada a metas em métodos ágeis. Referência: De Araujo e Siqueira, 2016.
Prof. Glauber de Bona:
- Inteligência Artificial Explicável: Entender como um modelo de aprendizado de máquina gera sua saída a partir das entradas é útil para avaliar sua confiabilidade e robustez e para detectar possíveis aspectos indesejados – e.g., um modelo de crédito que discrimina uma dado gênero ou etnia. Neste projeto investigamos a interpretabilidade de tais modelos, como defini-la, medi-la e aproximá-la.
- Raciocínio Lógico sob Inconsistência e Incerteza: Apesar do poder da lógica clássica, esta pressupõe que proposições são verdadeiras ou falsas e premissas,consistentes. Como na realidade temos incerteza e inconsistência, este projeto estuda métodos para lidar com tais fenômenos dentro da lógica, como medidas de inconsistência e lógica probabilística.
Prof. João Batista Camargo Jr.:
- Segurança (Safety) e Resiliência em Veículos Autônomos (Patrocinador Ericsson Research): neste projeto é pesquisada como técnicas de IA podem influenciar na segurança dos carros autônomos do ponto de vista sistêmico, ou seja, dentro do conceito de Smart Cities. Trabalhamos com modelos em tempo acelerado e tempo real usando para tal simuladores abertos.
- Segurança e Manutenção Preditiva em Ferrovias (Patrocinador VALE): neste projeto é pesquisa como técnicas de IA e Dataminig podem auxiliar para melhorar o nível de segurança da ferrovia além de poder auxiliar na manutenção preditiva, melhorando a eficiência da ferrovia.
Prof. Marcos Simplício
- Criptografia e segurança da informação em cenários distribuídos, em especial: redes veiculares (veículos que se comunicam entre si e/ou nos
  quais os módulos internos se comunicam) e transações financeiras (e.g., usando aplicativos móveis para acessar bancos ou no contexto de criptomoedas). Projetos podem envolver tanto a parte mais “matemática” (projeto e análise algoritmos e protocolos criptográficos) como a parte mais “rede” (como usar algoritmos e protocolos em um cenário alvo).

A lista completa de orientadores para o ingresso 2019 está disponível aqui.