/People

Pedro Nobre

Founder

CEO at Cajal

San Francisco, California, United States

FoundedCajal · YC

Find your path to Pedro

Sign up to see every warm intro you have to Pedro

  • Paths you didn't know you had: your email and LinkedIn already hold routes to Pedro. 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.

About

Pedro Nobre is the founder of Cajal, which develops formal verification tools for compiled binaries to generate mathematical proofs of correctness and identify bugs.

CEO at CajalYC W26

Intro paths

YC

Pedro went through Y Combinator (Winter 2026) — any YC alum in your network can reach them through the YC community.

GP

Their group partner at YC was Diana Hu, General Partner at Y Combinator — the partner who ran Cajal's batch and knows the company first-hand. YC profile ↗

→

In turn, Pedro can intro founders to Cajal's investors below.

Co-founders at Cajal

Frequently asked questions

Who is Pedro Nobre?
Pedro Nobre is the founder of Cajal, which develops formal verification tools for compiled binaries to generate mathematical proofs of correctness and identify bugs.
Where does Pedro Nobre work?
Pedro Nobre is CEO of Cajal.
What companies did Pedro Nobre found?
Pedro Nobre founded Cajal.

Founder mafias

AI Safety Fundamentals mafia2

Also came through, then founded or led a company.

About this profile. Compiled from public sources — Cajal's own website and public professional profiles — and summarised by Fundraising Fox; every fact is kept with where it came from. Spotted an error, or would rather not be listed? Email privacy@fundraisingfox.com · How we build profiles · Your rights