We collaborate with Nomadic Labs for all matters related to the use of the Tezos blockchain. Nomadic Labs houses a team focused on Research and Development whose core competencies are in programming language theory and practice, distributed systems and formal verification,. It strength lies in a unique mix of skills and experience, allowing it to transfer the best of academic research into real world applications. It currently focuses on the development of the Tezos core software, including the smart-contract language.