Nomadic Labs
Research and develop in various domains of computer science.
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.