Desenvolvimento de software destinado à avaliação dos riscos de queda de árvores e...
Verificação formal de redes neurais via lógica infinitamente-valorada de Lukasiewicz
Teoria de singularidades e aplicações a geometria diferencial, equações diferencia...
Propagação de ondas e vibrações em metamateriais elásticos hiperbólicos
Engenharia molecular de polímeros naturais para aplicação em terapia genética ocular