Eric Tanter

La investigación del estudiante de Doctorado, Stefan Malewski, y el profesor Éric Tanter, propone un lenguaje especializado con un enfoque hasta ahora único en esta área de investigación.

El académico fue galardonado con el "Most influential paper award", en mérito del impacto que aún tiene un trabajo presentado en 2010, centrado en el área de programación por aspectos.

La publicación fue realizada en el Journal of the ACM (JACM), que es la revista más prestigiosa en computación y de alcance máximo.

El profesor realizará labores de docencia e investigación en las áreas de machine learning, minería de datos e inteligencia artificial.

Guiado por el profesor Éric Tanter, Raimil desarrolló una tesis que contribuye a la protección de la confidencialidad de los datos manejados por una aplicación.

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.

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.

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.

La investigación explora el razonamiento gradual sobre programas.

“Gradual Reasoning About Programs: Typing, Analysis, and Verification”, se titula la investigación del Profesor del DCC, Éric Tanter, que contribuir al desarrollo de software correcto y robusto.

En esta edición se presenta como tema central “Computación y Democracia”.