Cajal was founded by Pedro Nobre, Luke Johnston in 2025.

Who are Cajal's investors?

Cajal's investors include Y Combinator, Blast.Club, Founders Factory, Lux Capital, The Column Group, Unpopular Ventures.

Where is Cajal headquartered?

Cajal is headquartered in San Francisco, US.

Cajal

YC W26

San Francisco, US · Founded 2025 · 2 employees · 6 known investors

Find your way into Cajal

Paths you didn't know you had: your email and LinkedIn already hold routes to the Cajal team. We find them for you
2nd- and 3rd-degree connections: the friend-of-a-friend routes that take hours to manually find through your inbox or LinkedIn
Answers now, not in days: momentum is everything in a raise. Skip asking around whether someone knows someone

Days of research, done the moment you sign in, with every route ranked by how warm it is.

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, Inc. · Cajal Technologies

AI & Machine Learning Cybersecurity Developer Tools Enterprise SoftwareUnited States of AmericaAmerica / Canada

Founders & leadership· Y Combinator alumni (W26)

Cajal was founded in 2025 by Pedro Nobre and Luke Johnston.

Pedro Nobre Co-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.

Luke Johnston 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 · 6

Y Combinatorlisted by Y CombinatorSan Francisco · $500K

How we know: the Y Combinator directory · open dataset · 5k.vc investor directory · Not right? Tell us

Blast.Clubreported$5.5M

How we know: Y Combinator's founder network · Not right? Tell us

Founders FactoryreportedLondon · $150K – $200K

How we know: Y Combinator's founder network · Not right? Tell us

Lux CapitalreportedNew York · $100K – $100M

How we know: funding news · Not right? Tell us

The Column GroupreportedSan Francisco · $30M

How we know: funding news · Not right? Tell us

How we know: Y Combinator's founder network · Not right? Tell us

Legal entities · 1

corporate structure

Cajal Technologies, Inc.

In the news

Cajal: Scaling Formal Verification for Scientific Discoveryycombinator.com · Feb 2026

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, Blast.Club, Founders Factory, Lux Capital, The Column Group, Unpopular Ventures.
Where is Cajal headquartered?: Cajal is headquartered in San Francisco, US.