Gustavo Rízquez/El Sol Latino.- Facebook Testing and Verification Research Awards es un concurso que tuvo como propósito encontrar propuestas que fuesen “desafiantes y excelentes a nivel científico”, para mantener la seguridad, corrección, y estabilidad de los grandes sistemas de información digital de los que la sociedad depende cada día más, entre los que se cuentan los servicios de redes sociales.
La idea de este tipo de justas no solo se queda en el ámbito del constructo o lo teórico, su interés principal es que en el “showcase” se exhiban trabajos con potencial para ser utilizados en la escala que se ve en el sector tecnológico en general.
Éric Tanter, científico de la Universidad de Chile e investigador del Instituto Milenio Fundamentos de los Datos, en colaboración con Jonathan Aldrich y Joshua Sunshine, ambos de Carnegie Mellon University en Estados Unidos, resultó ganador de la competencia que dispuso Facebook.
De acuerdo a los cómputos totales del evento, de casi 150 propuestas recibidas, 10 resultaron ganadoras y entre ellas la presentada por el investigador austral.
De acuerdo al background para la contextualización que la competencia esperaba de sus participantes, se delineó un horizonte común que estableció que uno de los grandes desafíos científicos y tecnológicos en informática hoy es mantener la seguridad, corrección, y estabilidad de los grandes sistemas de información digital de los que la sociedad depende cada día más. Desde esa base partieron las líneas de diseño.
La idea de los desafíos que plantea Facebook Research, indica Éric Tanter, es que las propuestas y sus avances sean de acceso abierto a todo el ecosistema de desarrolladores, desde organizaciones a individuos, para que puedan usarlos para mejorar la robustez de sus propios sistemas.
Tanter, quien se encuentra en este momento en el French National Institute for Computer Science and Applied Mathematics (Inria) en Francia, busca hacer más accesibles las técnicas de verificación de software para fomentar su adopción progresiva en el desarrollo de sistemas informáticos.
Estos sistemas generan y procesan gigantescos volúmenes de datos, por lo que garantizar su operación óptima y segura para todos los usuarios se torna aún más complejo.
Para hacer frente a estos desafíos, Facebook Research hizo un llamado a nivel internacional a todos los científicos y universidades que investigan métodos tanto formales como aplicados para probar y verificar los sistemas informáticos, para participar en el concurso Facebook Testing and Verification Research Awards.
De casi 150 propuestas recibidas, 10 resultaron ganadoras, entre ellas la de Éric Tanter, profesor titular de la Universidad de Chile e investigador del Instituto Milenio Fundamentos de los Datos, junto con Jonathan Aldrich y Joshua Sunshine, ambos de Carnegie Mellon University en Estados Unidos.
Sobre las recompensas se supo que Facebook Research entregará diez premios de US$ 50 mil a los equipos de investigadores ganadores.
En nota corporativa se divulgó que Mark Harman, Engineering Manager en Facebook Infrastructure, aseguró que el propósito del concurso era encontrar propuestas que fuesen “desafiantes y excelentes a nivel científico”.
