Mokhtar Bacha

Mokhtar Bacha leads Formal, which builds a protocol-aware reverse proxy that gives security teams visibility into and fine-grained control over data access by people, services, and AI agents. He previously worked as a software engineer at ConsenSys and joined Y Combinator before founding the cybersecurity company.

Career