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
Mokhtar went through Y Combinator (Summer 2020) — any YC alum in your network can reach them through the YC community.
Their group partner at YC was Brad Flora, Backing expeditions into the future — 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.
Experience
Skills & more
Languages Anglais · Français
From Mokhtar's professional profile.
Frequently asked questions
- Who is Mokhtar Bacha?
- 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.
- Where does Mokhtar Bacha work?
- Mokhtar Bacha is Founder of Formal.
- What companies did Mokhtar Bacha found?
- Mokhtar Bacha founded Formal.
- Where did Mokhtar Bacha go to school?
- Mokhtar Bacha studied at Y Combinator (YC S20, Entrepreneurial and Small Business Operations).
Founder mafias
Y Combinator mafia8,773
Also came through, then founded or led a company.
+ 8,766 more
Y Combinator mafia4,716
Also came through, then founded or led a company.
+ 4,709 more
ConsenSys mafia21
Also came through, then founded or led a company.
+ 14 more
Same school
Also attended Y Combinator2,000
+ 1,994 more
Shared employers
Also worked at ConsenSys51
+ 45 more