Cajal
YC W26San Francisco, US · Founded 2025 · 2 employees · 3 known investors
Tau provides formal verification of compiled binaries by generating mathematical proofs of correctness or identifying bugs, addressing risks from AI-assisted code generation and complex software systems.
Also known as Cajal Technologies
AI & Machine LearningCybersecurityDeveloper ToolsEnterprise SoftwareUnited States of AmericaAmerica / Canada
Founders & leadership· Y Combinator alumni (W26)
Cajal was founded in 2025 by Pedro Nobre and Luke Johnston.
PN
Pedro NobreinCo-Founder & CEOPedro Nobre is the founder of Cajal, which develops formal verification tools for compiled binaries to generate mathematical proofs of correctness and identify bugs.
LJ
Luke Johnstonin𝕏Co-FounderLuke Johnston has a background in machine learning and neuroscience, with research experience at institutions including Oxford, Cambridge, and UCL. He is currently working on formal verification and AI at Cajal.
Investors · 3
In the news
Frequently asked questions
- What does Cajal do?
- Tau provides formal verification of compiled binaries by generating mathematical proofs of correctness or identifying bugs, addressing risks from AI-assisted code generation and complex software systems.
- Who founded Cajal?
- Cajal was founded by Pedro Nobre, Luke Johnston in 2025.
- Who are Cajal's investors?
- Cajal's investors include Y Combinator, Lux Capital, The Column Group.
- Where is Cajal headquartered?
- Cajal is headquartered in San Francisco, US.