Eric Tanter

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”.

El trabajo encabezado por el Profesor Éric Tanter, resuelve un problema que ha sido estudiado por más de 10 años.

 El profesor del DCC Éric Tanter obtuvo un nuevo reconocimiento, esta vez en la conferencia OOPSLA, donde obtuvo un ACM SIGPLAN Distinguished Paper Award.