Nomadic Labs

Basics

• Nomadic Labs houses a team focused on Research and Development. "Our core competencies are in programming language theory and practice, distributed systems, and formal verification."
• Based in Paris and has upgraded protocols and is proposing other upgrades for Tezos
• "We currently (8-2019) focus on contributing to the development of the Tezos core software, including the smart-contract language, Michelson. We also have a mobile team working on the Cortez wallet."
• Proposed the Tezos upgrade proposal, Athens, which has successfully been implemented on the Tezos Protocol autonomously. "The implementation has proven that Tezos can upgrade to new protocol changes in an automated, decentralized, and self-funded manner. Nomadic Labs proposal attached a 100 XTZ invoice which the protocol automatically minted and distributed after successfully implementing the protocol change. This exercise enables any developer to submit a proposal with their own invoice attached to the proposal."
• "TQ Tezos, Nomadic Labs, and Serokell are jointly working on proposing a standard interface for creating and managing fungible assets using smart-contracts on Tezos. Serokell has already produced an example implementation. The initial interface follows ERC-20 closely, as the standard is well known and widely used by third parties (wallets, exchanges), and familiar to developers. Engineers at Nomadic Labs and Serokell are also developing alternatives inspired by other emerging standards, such as ERC-777 and ERC-1155."

Team, investors, partnerships, etc.

• Michel Mauny; "Michel is Chief Scientific Officer at Nomadic Labs, on leave from Inria (the French National Institute for Computer Science and Applied Mathematics), where he was a senior researcher and more recently Chief Executive Officer of the Inria Foundation. Michel’s scientific interests are mainly in the fields of programming languages: design, implementation, semantics, static analysis, and type systems. After his Ph.D. at Paris-Diderot University, Michel joined Inria in 1985 and worked on programming languages with the research group that designed and developed OCaml, the functional programming language used to implement Tezos, and the Coq proof assistant. From 1989 to 2005, Michel led the research team that further developed OCaml."
• Gets funding from being a baker on Tezos.
• "Some of our closest collaborators are researchers from the French research institute Inria, OCaml Labs in Cambridge (UK), OCamlPro and Tarides in Paris, Obsidian Systems and Cryptonomic in NYC, Dailambda in Kyoto and, last but not least, many individual developers."
• Nomadic announced (14-1-2020) that it partnered with Inria to develop a research program dedicated to Tezos and blockchain technology in general. The collaboration has funded 4 projects and 11 researchers in France so far.
• Works closely with Cryptium Labs

• In a blog post the Tezos Commons Foundation claimed:

"The main Tezos engineers who were originally at OCamlPro are now working at Nomadic Labs, not OCamlPro."