Tools & Applied Systems

Not every useful result should end as a paper.

Parts of the research programme are intended to become practical systems for analysis, reasoning, interaction, research and applied decision support.

Some tool development remains private and IP-sensitive. Selected tools will be released publicly when they are technically mature and strategically ready.