Cajal
YC W26 ↗San 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.
AI & Machine LearningCybersecurityDeveloper ToolsEnterprise Softwarein /cajal-technologies/@CajalResearchycombinator.com ↗
Founders & leadership· Y Combinator alumni (W26)
PN
Pedro NobreinFounder
LJ
Luke Johnstonin𝕏Founder
Investors · 3
In the news
- Cajal: Scaling Formal Verification for Scientific Discoveryycombinator.com · 2026
- Cajal launches with $96m for neurodegeneration drug discoverylongevity.technology · 2022
- Cajal launches with $96M to advance therapeutics for neurodegenerative diseasehealio.com · 2022
- BMS Supports $96M Launch for Neurodegenerative Newcomer Cajal (Updated) - BioSpacebiospace.com · 2022
- Seattle startup with fresh approach to Parkinson's and Alzheimer's disease raises $96M – GeekWiregeekwire.com · 2022
- Cajal Neuroscience Raises $96M in Series A Fundingfinsmes.com · 2022