Hace semanas, la Agencia Nacional de Investigación y Desarrollo de Chile (ANID) dio a conocer los resultados de las postulaciones a sus becas para magíster. En el listado aparecen tres estudiantes del Magíster en Ciencias de la Computación que imparte la FI UdeC: Catalina Opazo, Arturo Zapata y Raúl Astete.
“La adjudicación de la beca se sintió inesperada. Sabía que en gran parte se requería tener algo de experiencia en academia, y como aún estoy en pregrado de Ingeniería Civil Matemática, esto me hizo pensar que no iba a ser seleccionado. Sin embargo, creo que el apoyo de los profesores, tanto del Magister en Ciencias de la Computación, como del Departamento de Ingeniería Matemática, ha sido de gran utilidad para definir mi proyecto de investigación, motivarlo correctamente e introducirme de buena manera en el mundo de la academia, aportando con una formación muy sólida e integral”, indicó Astete.
Con respecto a su estudio, Raúl señaló “mi investigación consiste en relacionar dos conceptos: los Covering Arrays y las redes Booleanas. Los Covering Arrays de fuerza k o también conocidos como «matrices k-universales», son objetos combinatoriales de testeo; matrices de ceros y unos con ciertas propiedades que las hacen de mucha utilidad, por ejemplo, para el testeo de software. Por otra parte, una red Booleana es una función entre vectores de ceros y unos, cuya iteración puede ser vista como un sistema con una cantidad finita de estados, que cambian a pasos de tiempo discretos. De esta investigación, espero definir una nueva familia de redes Booleanas y explorar sus propiedades, y a su vez nutrir el actual estado del arte en Covering Arrays.
Por su parte, Arturo Zapata se mostró feliz por la obtención de esta beca “Mis primeras sensaciones fueron de tranquilidad y alegría, ya que, esta beca me da el sustento para concentrarme en mis estudios. Esta beca es muy competitiva y abarca a un público muy diverso. Si bien no obtuve la beca en mi primera postulación, junto a mi profesor guía y docentes que siempre me apoyaron, pude alcanzar este objetivo”.
Con respecto a su investigación señaló “trata en sobre el análisis de propiedades del grafo de interacción de redes Booleanas que verifican propiedades dinámicas biyectivas, semibiyectivas y Hamiltonianas, donde este último se clasifica en máxima altura, intermedia y ciclo Hamiltoniano. El objetivo general es comprender qué propiedades estructurales del grafo de dependencia se requieren para poder generar dinámicas extremas como son aquellas que describen una trayectoria u órbita Hamiltoniana y las propiedades asociadas a estos (biyectividad y semibiyectividad).
Catalina Opazo también se mostró feliz por la beca obtenida para su investigación “cuando me enteré de que recibí la beca me emocioné mucho. El año pasado también postulé y no quedé, así me esforcé mucho durante el año para poder mejorar mi postulación y rindió frutos”.
Opazo añadió “la investigación trata sobre estudiar un tipo particular de puntos fijos en redes booleanas. La motivación no tan técnica del problema es considerar un proceso de formación de opiniones en una sociedad donde cada individuo puede opinar solo «Si» o «No». Dada la forma en que interactúan los miembros de la sociedad, la idea es estudiar en qué condiciones se asegura que se llegue a algún acuerdo o si existe la posibilidad de que nunca se llegue a uno”.
