Áreas de pesquisa e projetos

Conheça algumas áreas de pesquisa e projetos disponíveis para o Doutorado 2023 que está com inscrições abertas até 30 de novembro de 2023.

 

 

  • Geoscience Oriented Deep Learning (GODeep)

    - Aprendizado de máquina aplicada aos problemas geológicos e geofísicos
    - Segmentação de imagens sísmicas
    - Análise de séries temporais sísmicas
    - Recuperação de imagens sísmicas

    Bolsa de Mestrado: R$ 3.842,46
    Bolsa de Doutorado: R$ 4.779,42

    Necessário ser aprovado no processo seletivo.

    Mais informações com o prof. Flavio Figueiredo - flaviovdf@dcc.ufmg.br

     

  • Recuperação de Informação Musical e Aprendizado de Máquina para Música
    • Geração de músicas
    • Geração de playlists
    • Análise de comportamento de usuários
    • Musicologia via Computação (análise de biografias e influências)

    Mais informações com o prof. Flavio Figueiredo - flaviovdf@dcc.ufmg.br

  • Computação de Alto Desempenho
    • Recuperação de dados multimídia
    • Processamento de imagens médicas de alta resolução

    Bolsas disponíveis.

    Mais informações entrar em contato com o Prof. George Teodoro - george@dcc.ufmg.br
  • Inteligência Artificial
    • Medicina: Análise de imagens de tecidos humanos digitalizados com ênfase em estudo e tratamento de câncer.
    • Sensoriamento remoto: segmentação eficiente e efetiva em escala nacional para o combate ao desmatamento.

    Bolsas disponíveis.

    Mais informações entrar em contato com o Prof. George Teodoro - george@dcc.ufmg.br

  • Redes de Computadores e Cibersegurança
    • Redes Inteligentes
    • Redes Resilientes
    • Segurança de Redes
    • Redes Sem Fio Densas
    • IoT, UAVs, WBANs
    • Redes Aéreas Confiáveis

    Projetos em https://www.dcc.ufmg.br/~aldri

    Mais informações, Prof. Aldri - aldri@dcc.ufmg.br

  • Ciência de Dados e Cultura
    • Computação e Música
    • Computação para Literatura
    • Diversidade de Gênero
    • Educação em Computação
    Outros tópicos em pesquisa orientada a dados são bem-vindos.
    Mais informações com a profª Mirella M. Moro - mirella@dcc.ufmg.br
  • Visão computacional
    • Processamento de vídeos egocêntricos
    • Reconstrução, percepção e mapeamento 3D/semânticos
    • Detecção e rastreamento de movimentos
    • Reconhecimento de gestos e atividades

    Mais informações com o Prof. Douglas Macharet - doug@dcc.ufmg.br

  • Automatização de Raciocínio
    • Novas técnicas para solucionadores SMT
    • Demonstrações auditáveis para compliance
    • Verificação formal de smart contracts
    • Síntese de programas

    Projetos em colaboração com universidades americanas (Stanford, Iowa) e européias (Inria, Liège).

    Mais informações com Haniel Barbosa - hbarbosa@dcc.ufmg.br

     

  • Computação quântica - Mestrado ou Doutorado
    • Grafos
    • Teoria da informação
    • Algoritmos, otimização e redes neurais
    • Linguagens e compiladores

    Candidatos com background em física ou matemática são bem-vindos!

    Casos especiais para entrada direta no doutorado também serão considerados.

    Bolsas disponíveis.

    Mais informações entrar em contato com gabriel@dcc.ufmg.br

     

  • Mineração de padrões

    Quer desenhar algoritmos para descobrir partes interessantes de grandes conjuntos de dados?

    Vem minerar padrões comigo!

    Para mais informações, favor me escrever: lcerf@dcc.ufmg.br

  • Algoritmos de Otimização e Aplicações
    • Modelagem de problemas de Otimização.
    • Otimização Linear, Inteira e Não Linear, Determinística e Estocástica.
    • Projetos aplicados em Logística e Redes de Energia Renováveis.
    • Inteligência Artificial na Otimização.
    • Computação paralela de alto desempenho.

    Dispomos de recursos para participação nos principais congressos internacionais da área e possibilidade de intercâmbio com grupos de pesquisa internacionais.

    Candidatos com formação em Engenharias são muito bem-vindos.

    Maiores informações com o Prof. Alexandre Salles da Cunha, e-mail: acunha@dcc.ufmg.br.

  • Robótica
    • Veículos autônomos: Planejamento de caminhos e Navegação
    • Sistemas multi-robôs e Enxames (swarms)
    • Interação Humano-Robô
    • Localização / Mapeamento / SLAM
    • Aprendizado de máquina aplicado a robótica

    Mais informações com o Prof. Douglas Macharet - doug@dcc.ufmg.br

  • Inteligência Artificial aplicada à geologia

    Aplicações de aprendizado de máquina, otimização e processamento de sinais para a geologia e exploração de petróleo. Projeto consiste em estudar séries de dados geológicos para identificação de ciclos e correlações em campos de exploração.

    Bolsa para mestrado no valor de R$3.800, por dois anos.

    Necessário ser aprovado no processo seletivo.

    Mais informações entrar em contato com gabriel@dcc.ufmg.br

     

  • Compiladores

    Doutorado no Laboratório de Compiladores do DCC/UFMG, venha fazer parte desse time!

    O Laboratório de Compiladores (LaC) do DCC/UFMG desenvolve algoritmos e ferramentas que melhorem os programas de computador automaticamente. Os produtos da pesquisa realizada no LaC contribuem para aumentar a produtividade dos programadores, que podem usar linguagens cada vez mais expressivas enquanto obtêm todos os benefícios de computadores cada vez mais complexos e eficientes.

    Linhas de pesquisa:

    ● Segurança: os pesquisadores do LaC desenvolvem diversas técnicas de análise estática e dinâmica de programas com o objetivo de encontrar vulnerabilidades em software. Entre essas técnicas, citam-se mecanismos para certificar algoritmos de criptografia (https://github.com/lac-dcc/lif e http://cuda.dcc.ufmg.br/inspectorj/) e para analisar códigos binários (https://github.com/rimsa/CFGgrind).

    ● Eficiência: no LaC são desenvolvidas várias técnicas de geração de código que visam tornar programas mais eficientes, seja do ponto de vista de tempo de execução, ou consumo de memória, ou gasto energético. Entre essas técnicas, citam-se ideas que hoje fazem parte de compiladores importantes, como a análise de divergências, hoje em LLVM (https://llvm.org/doxygen/LegacyDivergenceAnalysis_8cpp_source.html), a especialização de valores em tempo de execução, usada no TraceMonkey da Mozilla ou o profiler estático Vespa (https://engineering.fb.com/2022/03/15/developer-tools/vespa/).

    ● Programabilidade: diversas técnicas que melhoram o desenvolvimento de programas foram desenvolvidas no Laboratório de Compiladores. Entre essas técnicas citam-se o primeiro inferidor de tipos para C (https://github.com/ltcmelo/psychec) , a Linguagem Hapi para especificação de políticas de acessos em serviços de nuvem (http://cuda.dcc.ufmg.br/hapidoc/) , ou a ferramenta DawnCC (https://github.com/gleisonsdm/DawnCC-Compiler) , que anota programas com diretivas OpenMP sem qualquer intervenção de usuários humanos.

    Patrocínios
    A maior parte dos projetos desenvolvidos no LaC é financiada por empresas privadas, como a Intel, a Meta, a LG Electronics, a Google, a Cadence, a Cyral e a Dashbit. Vários dos alunos formados no LaC, hoje trabalham como líderes de tecnologia e inovação nessas empresas.

     

    Interessados, entrar em contato com o Prof. Fernando: fernando@dcc.ufmg.br