Evidência e decisões. Aplicadas.

Associa projetos de investigação financiados pela UE, a partir dos dados CORDIS da Comissão Europeia, aos Objetivos de Desenvolvimento Sustentável da ONU, com a evidência por trás de cada ligação. 400 projetos do Horizonte Europa, Horizonte 2020 e 7.º PQ; 915 ligações sustentadas; o mapa publicado reconstrói-se byte a byte sem qualquer chamada a modelos. Terceiro lugar no concurso do Portal Europeu de Dados “Mapping CORDIS projects to SDGs” (Serviço das Publicações da UE, 2026).

Lê o Regime Jurídico da Urbanização e Edificação (RJUE) a partir dos textos oficiais do Diário da República e confere com ele, campo a campo, os formulários de submissão municipais. Cada alteração proposta cita o artigo em que assenta. 25 catálogos municipais avaliados; produzido como configuração pronta para os fornecedores de plataformas que servem os municípios.

Decompõe o Código dos Contratos Públicos em regras tipificadas, com datas de vigência e citações verificadas, e aplica-as aos factos de procedimentos reais. O veredicto é “cumpre”, “não cumpre” ou “não avaliado”, com a razão.

Afinamos modelos de linguagem abertos em português com LoRA para ler o Código dos Contratos Públicos em regras tipificadas com citações exatas. Alimentam o motor de contratação: cada versão do modelo é medida em conjuntos de teste selados, contra um leitor independente, e só se guardam as leituras que o código consegue verificar.

Trabalho em código aberto sobre a emissão de credenciais para a Carteira Europeia de Identidade Digital, para que uma decisão verificada possa circular como uma credencial que outra instituição consegue conferir.

Um núcleo operacional que liga evidência de segurança, decisões, aprovações, ações e resultados verificados, a correr no simulador oficial de ciberdefesa CAGE 4. Cinco defensores preservam evidência, comparam planos defensivos, autorizam comandos vinculados a um catálogo e registam o que cada ação realmente alterou, sem qualquer modelo necessário em execução. 444 testes integrados; processos recuperáveis sobre um registo só de acrescento.

Um projeto de garantia de software centrado no risco de dependências e nas decisões que daí decorrem. O seu desenho liga evidência em mudança, avaliação de impacto, aprovação da resposta e verificação num registo de caso revisável.

Um motor para manter registos ligados de informação, decisões e do seu histórico. Fornece uma base coerente para software e para fluxos assistidos por IA à medida que a informação de uma organização evolui.