People/cajalresearch
Luke Johnston

Luke Johnston

founderYC

Working on formal verification and AI at Cajal (W26). Background in machine learning and neuroscience at research labs in Oxford/Cambridge/UCL. Learn more at https://caj.al/ and feel free to get in touch at luke@caj.al

x linkedin
1
product
Products · 1
Cajal
Founder

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

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