Leonardo Santos defendeu a tese Reconhecimento Espacial por Análises Léxica e Sintática de Estrutaras de Voxels para Bots de Minecraft. Nessa tese, introduz o uso de gramáticas 3D, a partir da criação de tokens relações posicionais em gramáticas LALR, implementado pela primeira vez, em 3D, gramáticas SpLR propostas por Costagliola e Chang.