Independent verification for autonomous systems
Independent evidence for consequential machine actions.
TALUD is a verification research and engineering project for autonomous systems. We focus on making consequential machine actions easier to inspect and independently verify without taking control of execution.
We don't execute. We don't custody. We don't route, sign or decide. We verify.
Private research
We are working with infrastructure teams on a narrow verification problem.
If you received a note from us, it is a research request, not a sales pitch. We would value a short written exchange. No integration, credentials, production access or confidential data are required.
Reply by email ↗