O ‘Grupo de Métodos Formais em Arquitetura’ do LIAD – Laboratório de Pesquisa em Arquitetura e Design tem se dedicado nos últimos anos ao trabalho de P&D na área de métodos para arquitetura envolvendo o uso de aquisições científicas da matemática. Grupo particularmente relevante de sua produção é um aplicativo de computador em “sintaxes espaciais” no espaço 3D. Esta ferramenta digital tem o nome de DepthSpace3D. ‘Sintaxes de espaço’ são um conjunto de métodos em uso na arquitetura por mais de 30 anos e, como exigem uma grande quantidade de cálculos, precisam ser tratados por instrumentos de TIC. Até o momento, apenas a análise 2D estava disponível, desenvolvida principalmente na escola original – a University College London. A disponibilidade de ferramentas de software 3D abre novas perspectivas para o avanço dessas tecnologias, e corresponde a uma necessidade de desenvolvimento científico e tecnológico de essas metodologias. Os novos campos de aplicação podem ser muito importantes.
CESAP tenciona agora realizar a divulgação dos resultados da sua R & D para a sociedade em geral e particularmente para os negócios regional. Este é o projeto denominado OPO’ArchFormalMethod. O objetivo do projeto não é apenas fazer uma passagem ‘educacional’ dos resultados da investigação acadêmica, através das conferências, artigos e livros habituais. Mas os objetivos são também apoiar a criação de um cluster de instituições e empresas regionais com interesses na utilização deste produto, que proporcione novas oportunidades de negócio.