Grupos de Pesquisa

Aplicações de Machine Learning e Deep Learning

Aplicações de técnicas de Machine Learning de última geração a uma infinidade de problemas diferentes

BioLabs

Descoberta dos mecanismos fundamentais de regulação epigenética e seu papel na diferenciação celular e no envelhecimento

Computação Simultânea

Desenvolvimento, verificação, teste e avaliação de algoritmos simultâneos modernos

Grupo de Bioinformática

Aplicação de métodos de ciência da computação a problemas biológicos e médicos do mundo real

Grupo de Neurodesenvolvimento e Neurofisiologia

Modelagem por simulação do desenvolvimento de tecidos neurais e processos celulares envolvidos

HoTT e Grupo de Tipos Dependentes

Criação de uma linguagem com tipo dependente com base na teoria do tipo de homotopia

Laboratório Criptográfico

O estudo e a aplicação de métodos criptográficos para proteção das informações

Laboratório de Algoritmos de Robôs Móveis

Desenvolvimento de algoritmos de auto-orientação para um robô móvel e resolução do problema de SLAM

Laboratório de Algoritmos Parametrizados

Construção de algoritmos exatos para problemas computacionalmente desafiadores por meio da compreensão cuidadosa da estrutura de uma entrada típica

Laboratório de Análise de Verificação ou Programa

Aplicação de métodos formais no desenvolvimento de software para criar ferramentas baseadas em análises estáticas, verificação e transformação de programas

Laboratório de Ferramentas de Colaboração Inteligentes

Estudo de processos colaborativos em SE e além para habilitar ferramentas de colaboração de última geração

Laboratório de Linguagens e Ferramentas de Programação

Suporte a pesquisas fundamentais sobre linguagens e ferramentas de programação

Laboratório de Métodos de Física Nuclear

O laboratório desenvolve instrumentos e métodos para pesquisa de física de partículas e outros campos semelhantes

Laboratório de Pesquisa de Aprendizagem

Pesquisa longitudinal para descobrir quais fatores ajudam a melhorar o desempenho acadêmico e proporcionar sucesso em carreiras de STEM

Laboratório de Sistemas Cibernéticos-Físicos

Fundamentos teóricos, linguagens e ferramentas para o desenvolvimento de programas de controle para sistemas físicos cibernéticos

Métodos de Machine Learning em Engenharia de Software

Combinação das melhores práticas de ambas as áreas para criar novas formas de desenvolver e melhorar o código

Paper-Analyzer

Ferramenta baseada em deep learning para extração de conhecimento de artigos biomédicos científicos

Problemas de Otimização em Engenharia de Software

Resolução de difíceis problemas de otimização em diferentes áreas de engenharia de software

Sistemas de Agentes e Aprendizagem por Reforço

Criação de novas maneiras de treinar agentes de IA

Astroparticle Physics

Applying modern computing techniques to data analysis in astroparticle physics

Algorithms for Concurrent and Distributed Systems

Developing and analyzing algorithms for concurrent and distributed systems