jueves, 18 de julio de 2019 Actualizado a las 21:40

CULTURA

Cultura - El Mostrador

Investigador chileno en ciencias de la computación entre los 10 ganadores de concurso de Facebook Research

por 24 octubre, 2018

Investigador chileno en ciencias de la computación entre los 10 ganadores de concurso de Facebook Research

Fotografía gentileza Instituto Milenio Fundamentos de los Datos

De casi 150 propuestas recibidas a nivel mundial, 10 resultaron ganadoras y entre ellas la presentada por Éric Tanter, de la U. 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.
  • Compartir
  • Twittear
  • Compartir
  • Imprimir
  • Enviar por mail
  • Rectificar

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, entre los que se cuentan desde servicios hasta redes sociales, entre muchos más.

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.

Un chileno entre los seleccionados

Recientemente se dio a conocer a los ganadores. De casi 150 propuestas recibidas, 10 resultaron ganadoras y entre ellas el proyecto Incremental Verification, Gradually presentado por el chileno Éric Tanter, Doctor en Ciencias de la Computación, profesor titular de la U. 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.

Tanter, quien se encuentra en este momento en el French National Institute for Computer Science and Applied Mathematics (Inria) en Francia, señala que el proyecto presentado se enmarca en la investigación que ha venido realizando durante la última década, que busca hacer más accesible las técnicas de verificación de software para fomentar su adopción progresiva en el desarrollo de sistemas informáticos.

Facebook Research

Facebook Research entregará diez premios de US$ 50 mil a los equipos de investigadores ganadores. Según Mark Harman, Engineering Manager en Facebook Infrastructure, el propósito del concurso era encontrar propuestas que fuesen “desafiantes y excelentes a nivel científico, pero que también tenga el potencial de ser utilizado en la escala que solemos ver en el sector tecnológico en general”.

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.

Más información sobre El Mostrador

Videos

Noticias

Blogs y Opinión

Columnas
Cartas al Director
Cartas al Director

Noticias del día

TV