Nomadic Labs's logo

Several of the lead architects behind the Tezos project have formed a new research and development company called Nomadic Labs. Nomadic Labs research and develop products and services in various domains of computer science, namely distributed, decentralized, and formally verified systems.