Grupos de Pesquisa

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

Física de Astropartículas

Aplicação de técnicas modernas de computação a análises de dados em física de astropartículas

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 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 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órios de IA

Pesquisa de IA fundamental e aplicada

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