About
Mokhtar Bacha joined ConsenSys at age 17, where he developed expertise in cryptography, consensus algorithms, and distributed systems. He founded Formal in 2022 to provide data security services.
Founder at FormalYC S20
Intro paths
YC
Mokhtar went through Y Combinator (Summer 2020) — any YC alum in your network can reach them through the YC community.
GP
Their group partner at YC was Brad Flora, General Partner at Y Combinator — the partner who ran Formal's batch and knows the company first-hand. YC profile ↗
→
In turn, Mokhtar can intro founders to Formal's investors below.
Formal's investors · 4
Experience
- FormalFounder and CEOcurrent2023 — presentСан-Франциско, CA
- ShiplFounder and CEO2019 — 2020Paris, Île-de-France, France
- ConsenSysBlockchain Developer2017 — 2018Paris, Île-de-France, France
- ConsenSysSoftware developer2017New York, États-Unis
- KantumCEO2016 — 2017Lyon, Auvergne-Rhône-Alpes, France
Education
- Y CombinatorYC S20, Entrepreneurial and Small Business Operations2020
Skills & more
Management2Service client1Gestion de projet6Marketing3Développement site webmachine learning3
Languages Anglais · Français
From Mokhtar's professional profile.
Same school
Also attended Y Combinator1,475
Akshat GoenkaInvestor at Moonfire VenturesJon XuGeneral Partner at Y CombinatorTed ChaiAssociate at Scale Venture PartnersLeo LuInvestor at Foundation CapitalMaroof AhmedFounder at Octopus VenturesYusuf SherwaniCo-Founder and CEO at Pelago; a Londoner living in New York City
+ 1,469 more
Shared employers
Also worked at ConsenSys44
Mason NystromInvestor at Pantera CapitalDanny CrichtonPartner, Research at Lux Capital, publishing the Securities newsletter and RiskgamingKavita GuptaSpecial Advisor at Buckhill CapitalJoseph LubinChairman at Ethereal Ventures Management Ltd.Min TeoManaging Partner & Co-CIO at Ethereal Ventures Management Ltd.Kavita GuptaFounder and General Partner at Delta Blockchain
+ 38 more