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
Experience
- CajalCo-Founder & CEOcurrent2025 — present
- Sigma Squared SocietyFellowcurrent2026 — present
- Entrepreneurs FirstFounder in Residence2025
- VertebraCo-Founder2022 — 2024
- Management SolutionsTechnology Consultant2022 — 2023
- InetumResearch Engineer Intern2022Madrid, Community of Madrid, Spain
- AltiaSoftware Developer2021Santiago de Compostela, Galicia, España
- Neuralume LabsCo-Founder & CTO2020 — 2021United Kingdom
- Titan ElevateData Scientist2020United Kingdom
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 Founder of Cajal.
- What companies did Pedro Nobre found?
- Pedro Nobre founded Cajal.
- Where did Pedro Nobre go to school?
- Pedro Nobre studied at Y Combinator; King's College London (Master of Science - MS, Finance Analytics); AI Safety Fundamentals.
Founder mafias
Y Combinator mafia8,773
Also came through, then founded or led a company.
Sam AltmanPresidentFounded Tools for Humanity +3Jessica LivingstonCo-founderFounded Y CombinatorAlexis OhanianYC Summer 2005Founded RedditFred EhrsamYC Summer 2012Founded Nudge +1Matt HuangYC Winter 2011Founded HotspotsTrae StephensYC Winter 2022Founded Pursuit +1
+ 8,766 more
Y Combinator mafia4,716
Also came through, then founded or led a company.
Ryan SheaEntrepreneurshipFounded StacksTarek MansourFounded KalshiSuhail DoshiEating beans & riceFounded Playground +1Subomi OluwalanaW22Founded ConvoyDarius "Bubs" MonsefS19Founded Sightbox +3Matthew ScholzFounded Oisin Biotechnologies +3
+ 4,709 more
King's College London mafia51
Also came through, then founded or led a company.
Harry StebbingsBachelor’s DegreeFounded StrideAllen LawFounded Park Hotel Group +2Ansuman SatpathyComputer ScienceFounded Santa Ana Bio +2Andrew IveBSc Degree (HonsFounded Jellatech +1Nicolas HourcardBsc (Hons)Founded QuestDB +1Mahyad GhassemiBachelor's degreeFounded Okibi +1
+ 44 more
Universidad Politécnica de Madrid mafia26
Also came through, then founded or led a company.
Francisco VelázquezAerospaceFounded Hubble +2Ariel CamusMaster's DegreeFounded TouristEye +1Juan de AntonioMs. Sc.Founded Mobility (Latam) LinkJuan Manuel Fernández LobatoMaster's DegreeFounded EburyFrancisco BerlangaMEngFounded Frenetic
+ 20 more
Universidad de Santiago de Compostela mafia2
Also came through, then founded or led a company.
Same school
Also attended Y Combinator2,000
Tarek MansourCo-founder & CEO of KalshiSuhail DoshiFounder of Mixpanel; founder of ParticleSubomi OluwalanaCo-founder & CEO of ConvoyArhaan A.Deeptech Fellow at Clear VenturesMaroof AhmedFounder at Octopus VenturesJustin SwartPartner at Bitkraft Esports Ventures
+ 1,994 more
Also attended King's College London284
Harry StebbingsFounder & General Partner at 20VCDominic JacquessonInvestor at Index VenturesJohn HortonInvestor at DN CapitalBob ThomasPartner at OxxKatherineHealthcare Investment Lead at Hummingbird VenturesÖzge Gizem YerlikayaGeneral Counsel at Idacapital
.avif)
+ 278 more
Also attended Universidad Politécnica de Madrid109
Raj ShastriAdvisor at Kaizen Private EquitySamuel GilCEO & General Partner at JME VenturesLourdes Álvarez de ToledoPartner at JME VenturesPablo VenturaInvestor at KfundEmily MeadsPrincipal at QuantonationÁlvaro LozanoInvestment Vice President at Kibo Ventures
+ 103 more
Also attended Universidad de Santiago de Compostela10
Jaime NovoaInvestor at KfundStefan HülsenInvestment Director at Statkraft VenturesDan BuntingInvestor at 1AM GamingJorge Fernández VidalInvestor at Liechtenstein GroupDimitris GeorgakopoulosFounder at Helidoni GroupMuireann MacAuliffeInvestment Manager at MML Growth Capital Partners Ireland
+ 4 more
Shared employers
Also worked at Cajal1
Also worked at Sigma Squared Society33
Roxana GrunenwaldInvestor at Dorm RoomStephanie MetzlerExecutive Assistant at Navitas CapitalElliot SchoutenInvestment Manager & CFO at Curiosity VCLaura ForeroInvestor Relations Officer at World FundSebastian BöhmerFounding Partner at First MomentumDaniel DippoldInvestor at Enzo Ventures
.png)
+ 27 more
Also worked at Entrepreneurs First499
Reid HoffmanCo-founder of LinkedIn; Partner at GreylockToby CoppelCo-founder and Partner at Mosaic VenturesBenedict EvansWrites a weekly technology newsletter read by close to 200,000 peoplePeterDeep Tech Investment Lead at Hummingbird VenturesAniTalent Team at Hummingbird VenturesIsabel FoxHead of Investor Relations at Hoxton Ventures
+ 493 more
Also worked at Management Solutions11
Juan FernándezAssociate at Inveready Technology Investment GroupPablo VenturaInvestor at KfundReilly ConnellFinancial Analyst at Fox VenturesJosé MuñozInvestment Analyst at Encomenda VCDavid SaldañaPrincipal at Axon Partners GroupDiego UriarteAssociate at Talde Private Equity
+ 5 more