Desenvolvimento e análise de algoritmos para sistemas simultâneos e distribuídos

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

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

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

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

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

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

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

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

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

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

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

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

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

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