Find your path to Pedro
274 people in our graph share verified history with Pedro — schools, employers, funds. One of them is your warm intro.
Juan FernándezunlockedPedro: together at Management Solutions (2022–2023)
×2Pedro: together at King's College London
×6Pedro: together at Universidad Politécnica de Madrid
Pedro: together at Sigma Squared Society
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 mafia10,230
Also came through, then founded or led a company.
Sam AltmanPresidentFounded Tools for Humanity +3Garry TanPresident & CEOFounded Y Combinator +1Jessica LivingstonCo-founderFounded Y CombinatorAlexis OhanianPartnerFounded RedditFred EhrsamYC Summer 2012Founded Nudge +1Matt HuangYC Winter 2011Founded Paradigm +1
+ 10,223 more
King's College London mafia115
Also came through, then founded or led a company.
Harry StebbingsBachelor’s DegreeFounded StrideAnsuman SatpathyComputer ScienceFounded Santa Ana +4Allen LawFounded Park Hotel Group +3Jack TangBSCFounded Urban Massage +1Andrew IveBSc Degree (HonsFounded Jellatech +1Nicolas HourcardBsc (Hons)Founded QuestDB +1
+ 108 more
Universidad Politécnica de Madrid mafia62
Also came through, then founded or led a company.
Ernest SánchezTelecommunications ManagementFounded Nuclio Talent +2Ariel CamusMaster's DegreeFounded TouristEye +2Iván RodríguezMaster of Science in EngineeringFounded Vivla +2Francisco VelázquezAerospaceFounded Finizens +1Isaac Castro GarcíaMasterFounded Emerge +1Carlos Castro GonzalezBEngFounded Leuko +1
+ 55 more
Universidad de Santiago de Compostela mafia3
Also came through, then founded or led a company.
AI Safety Fundamentals 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 VenturesCollin WallaceGeneral Partner at Lobby CapitalVictor SantosVictor Scout at One Way Ventures
+ 1,994 more
Also attended King's College London382
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
+ 376 more
Also attended Universidad Politécnica de Madrid159
Mariano Rodríguez MonterdeSenior Director at Inveready Technology Investment GroupRaj ShastriAdvisor at Kaizen Private EquitySamuel GilCEO & General Partner at JME VenturesLourdes Álvarez de ToledoPartner at JME VenturesPablo VenturaInvestor at KfundEmily MeadsPrincipal at Quantonation
+ 153 more
Also attended Universidad de Santiago de Compostela13
Jaime NovoaInvestor at KfundStefan HülsenInvestment Director at Statkraft VenturesDan BuntingInvestor at 1AM GamingJorge Fernández VidalInvestor at Liechtenstein GroupMuireann MacAuliffeInvestment Manager at MML Growth Capital Partners IrelandLucia GarciaHead of Brand Marketing & Comms at Samaipata
+ 7 more
Shared employers
Also worked at Cajal1
Also worked at Sigma Squared Society63
Roxana GrunenwaldInvestor at Dorm RoomElliot SchoutenInvestment Manager & CFO at Curiosity VCLaura ForeroInvestor Relations Officer at World FundSebastian BöhmerFounding Partner at First MomentumDaniel DippoldInvestor at Enzo VenturesOmar BawaInvestor at Enzo Ventures
+ 57 more
Also worked at Entrepreneurs First741
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
+ 735 more
Also worked at Management Solutions14
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
+ 8 more