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.
Founder 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.
Cajal's investors · 3
Co-founders at Cajal
LJ
Luke JohnstonFounder