Propuesta ideada junto a dos académicos estadounidenses contempla el desarrollo de un modelo que permitirá facilitar la corrección de errores en todo tipo de programas informáticos, universo que abarca el conjunto de servicios que se ofrecen a través de internet, desde sistemas bancarios hasta redes sociales. La iniciativa busca generar una nueva herramienta de trabajo de código abierto para desarrolladores de todo el mundo y mejorar la experiencia de los usuarios.
