2x founder

Mokhtar Bacha

Securing humans and AGI @ formal.ai (Founder & CEO)

Founder

Formal· Summer 2020 🇺🇸 San Francisco, California, United States

in LinkedIn

2023Founder· Formal

Founder · since 2019

Company

Formal

Role

Founder and CEO

current

Stage

—

no public source

Raised

—

no public source

Based

San Francisco, California, United States

current

Founder / co-founder — the company's markEmployee / research role

Source: LinkedIn work history

Profile coverage5 of 7 · missing posts, contact

Formal

Take control of your data in real-time.

Summer 2020

Experience

Career

Formal
Founder
Founder and CEO · San Francisco, California, United States · 2023 – Present
2023
Shipl
Founder
Founder and CEO · Paris, Île-de-France, France · 2019 – 2020
2019
ConsenSys
Blockchain Developer · Paris, Île-de-France, France · 2017 – 2018
2017
ConsenSys
Software developer · New York, United States · 2017
2017
Kantum
CEO · Lyon, Auvergne-Rhône-Alpes, France · 2016 – 2017
2016

Bio

At 17 Mokhtar Bacha became the youngest employee at ConsenSys, hired by Ethereum co-founder Joseph Lubin. There, he gained expertise in cryptography, consensus algorithms, and distributed systems. Mokhtar launched Formal in 2022 with the mission to secure the world's data. Today thanks to an incredible team, we are proud to secure the data of customers like Notion.com, Ramp.com, and Gusto.com