IMDEA Software

Iniciativa IMDEA

Inicio > Noticias > 2018 > IMDEA y OCaml Labs se asocian con la Fundación Tezos para el avance de su tecnologías de registro contable criptográfico y contratos inteligentes

14 de mayo de 2018

IMDEA y OCaml Labs se asocian con la Fundación Tezos para el avance de su tecnologías de registro contable criptográfico y contratos inteligentes

La Fundación Tezos está estableciendo junto con el Instituto IMDEA Software un programa multi-anual de investigación, formación y diseminación para abordar las tecnologías relacionadas con Tezos, incluyendo la criptografía, la seguridad informática, la verificación formal, los sistemas distribuidos y los lenguajes de programación.

El programa de IMDEA se centrará en la tecnología que rodea el registro contable criptográfico Tezos y los contratos inteligentes, lo que ayudará a avanzar su desarrollo en cuestiones de privacidad, corrección, robustez y escalabilidad. La Fundación Tezos también ofrecerá apoyo al exitoso programa conjunto de Maestría / Doctorado de IMDEA con la Universidad Politécnica de Madrid, proporcionando enfoques y temas de investigación adicionales en temas relacionados con Tezos.

Enlaces relevantes: