Noticias

Más de 30 profesionales se capacitarán en el DCC sobre las técnicas más relevantes de esta área.

El artículo, “Polymorphic Relaxed Noninterference”, escrito por el estudiante de doctorado, Raimil Cruz, y el académico, Éric Tanter, trata sobre desclasificación genérica de datos sensibles.

La profesora, Bárbara Poblete, y los estudiantes Hernán Sarmiento, Mauricio Quezada y Aymé Arango presentaron tres trabajos en la principal conferencia sobre Recuperación de Información en el mundo.

En su trabajo de tesis doctoral, el investigador del DCC analizó la metodología, Abstracting Gradual Typing (AGT), para sistematizar el diseño de lenguajes de programación graduales.

Alexandre Bergel
Académico Ciencias de la Computación – FCFM

Camila Álvarez recibirá el premio en la próxima versión de la conferencia CLEI, donde expondrá su propuesta de un detector visual para mejorar resultados de búsqueda de imágenes en catálogos.

En la actividad realizada en el DCC los alumnos se introdujeron en las ciencias de la computación y crearon un proyecto final utilizando el lenguaje de programación Scratch.

Los trabajos sobre sistemas de tipos, teoría de tipos y verificación de programas serán presentados en la próxima edición de la Conferencia Internacional sobre Programación Funcional, ICFP.

El proyecto Random UChile, es parte de una red mundial que provee aleatoriedad pública y gratuita.

La profesora del DCC e investigadora del Instituto Milenio Fundamentos de los Datos se refirió al ascenso como un reconocimiento y manifestó su deseo de continuar aportando al crecimiento del DCC y de la Universidad de Chile.