Evidence and decisions. Applied.

Maps EU-funded research projects from the European Commission’s CORDIS data to the UN Sustainable Development Goals, with the evidence behind every link. 400 projects across Horizon Europe, Horizon 2020 and FP7; 915 supported links; the published map rebuilds byte for byte with no model calls. Third place in the European Data Portal competition “Mapping CORDIS projects to SDGs” (Publications Office of the EU, 2026).

Reads the urban licensing regime (RJUE) from the official Diário da República texts and checks municipal submission forms against it, field by field. Each proposed change cites the article it rests on. 25 municipal catalogues assessed; produced as configuration ready for the platform vendors that serve municipalities.

Decomposes the Código dos Contratos Públicos into typed rules with validity dates and verified citations, and applies them to the facts of real procedures. The verdict is “complies”, “does not comply”, or “not assessed” with a reason.

We fine-tune Portuguese open language models with LoRA to read the Código dos Contratos Públicos into typed rules with exact citations. They power the procurement engine: each model version is measured on sealed test sets against an independent reader, and only readings that code can verify are kept.

Open-source work on credential issuance for the European Digital Identity Wallet, so that a verified decision can travel as a credential another institution can check.

An operational core connecting security evidence, decisions, approvals, actions, and verified outcomes, running in the official CAGE 4 cyber-defence simulator. Five defenders preserve evidence, compare defensive plans, authorise catalogue-bound commands and record what each action actually changed, with no model required at runtime. 444 integrated tests; recoverable workers on an append-only record.

A software-assurance project focused on dependency risk and the decisions that follow. Its design connects changing evidence, impact assessment, response approval, and verification in a reviewable case record.

An engine for maintaining connected records of information, decisions, and their history. It provides a consistent basis for software and AI-assisted workflows as an organisation’s information evolves.