Intereses y experiencia

Las pruebas rigurosas se han convertido en parte integrante de cualquier línea de producción de software. Pero sólo puede llevarnos hasta cierto punto. Complementar las pruebas con herramientas y técnicas basadas en métodos formales y análisis de programas tiene un gran valor, sobre todo cuando el código crece orgánicamente y se hace enorme. Sigo con pasión la línea de la verificación formal y el análisis de programas para conocer y hacer realidad la solidez de los programas informáticos frente a todas las amenazas posibles.

Introducir más pensamiento científico en un lenguaje de programación siempre ayuda a dar saltos a la comunidad de desarrolladores. Las garantías se vuelven inmediatas en tiempo de compilación (¡con IDEs inteligentes justo en el momento de programar!). Rust, Golang, la programación funcional son testimonios de ello, y más recientemente Movelang para blockchains. En Supra queremos impulsar y orientar a los desarrolladores de infraestructuras, así como a los desarrolladores de aplicaciones, hacia una mayor abstracción, facilidad y simplicidad, todo ello con seguridad y rendimiento.

Los protocolos distribuidos son la base de los sistemas de software modernos. Construir diseños altamente eficientes y seguros de estos fundamentos es de vital importancia y se está convirtiendo cada vez más en una necesidad. En Supra tratamos todos los protocolos distribuidos desde una perspectiva original y aportamos ideas fundamentales para que toda la industria y la comunidad salgan beneficiadas.

Comentario

Nuestro Director ejecutivo, Joshua Tobkin, ha inculcado profundamente en la organización la mentalidad de "la investigación es lo primero". A través de sus iniciativas, su pensamiento visionario y sus ideas fundamentales, ha orientado al equipo de investigación hacia la combinación de ideas profundas con utilidad práctica. Hemos inventado una familia de protocolos de consenso de alto rendimiento, baja latencia y escalable, que impulsará el posicionamiento de Supra como IntraLayer.

Hemos pensado cuidadosamente la dinámica de un Protocolo Puente altamente seguro a partir de un modelo Racional más práctico y hemos elaborado cuidadosamente una familia de protocolos Puente y los hemos analizado rigurosamente utilizando técnicas de teoría de juegos.

Selección de publicaciones de investigación