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.
AI & Machine LearningCybersecurityDeveloper ToolsEnterprise Softwarein /cajal-technologies/@CajalResearch
Founders & leadership· Y Combinator alumni (W26)
Pedro NobreinFounder
Luke Johnstonin𝕏Founder
Investors · 3
In the news
- 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
- Cajal Neuroscience - 2026 Funding Rounds & List of Investors - Tracxntracxn.com · 2021