People/pedro-nobre

Pedro Nobre

Working on formal verification and AI.

product

Products · 1

Founder

Cajal offers Tau, a tool for verifying the correctness of software binaries.

Worked alongside

Roles are derived from products, launches and repositories we track — not from self-description.