Cajal
YC W26San Francisco, US · Founded 2025 · 2 employees · 3 known investors
Find your way into Cajal
1,014 people in our graph share verified history with the Cajal team — schools, employers, funds. One of them is your warm intro.
Mariaunlockedknows Luke Johnston · together at University of Oxford (overlapped)
×2knows the team · via University of Oxford
knows the team · via Management Solutions
knows the team · via University of Cambridge
×6knows the team · via Y Combinator
knows the team · via Universidad Politécnica de Madrid
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.