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