Grupos de Pesquisa
Descoberta dos mecanismos fundamentais de regulação epigenética e seu papel na diferenciação celular e no envelhecimento
Desenvolvimento, verificação, teste e avaliação de algoritmos simultâneos modernos
Aplicação de técnicas modernas de computação a análises de dados em física de astropartículas
Modelagem por simulação do desenvolvimento de tecidos neurais e processos celulares envolvidos
Criação de uma linguagem com tipo dependente com base na teoria do tipo de homotopia
Desenvolvimento de algoritmos de auto-orientação para um robô móvel e resolução do problema de SLAM
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
Estudo de processos colaborativos em SE e além para habilitar ferramentas de colaboração de última geração
Suporte a pesquisas fundamentais sobre linguagens e ferramentas de programação
Pesquisa de IA fundamental e aplicada
Combinação das melhores práticas de ambas as áreas para criar novas formas de desenvolver e melhorar o código
Ferramenta baseada em deep learning para extração de conhecimento de artigos biomédicos científicos