Eric Tanter

Investigadores DCC presentan trabajo que aplica gradualidad a las estructuras de datos
(2021-09-22)


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.

 




Investigación de profesor Éric Tanter recibe reconocimiento al artículo científico más influyente
(2021-04-14)


 

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.




Profesor Éric Tanter publica investigación en prestigiosa revista de la ACM
(2021-03-18)


 

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.

 




Investigador Andrés Abeliuk se incorporó como académico DCC
(2021-03-12)


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




Investigador Raimil Cruz obtuvo el grado de Doctor en Computación
(2020-01-28)


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.




Investigadores del DCC presentarán trabajo sobre sistemas de tipos para seguridad en conferencia SecDev 2019
(2019-08-14)


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.

 




Investigador Matías Toro se titula como nuevo Doctor en Computación del DCC
(2019-08-09)


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.

 




Conferencia ICFP selecciona tres artículos de profesor del DCC Éric Tanter
(2019-07-25)


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.

 




Profesor Éric Tanter se adjudica proyecto Fondecyt Regular 2019 con más alto puntaje de evaluación
(2019-04-15)


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.

 




Nueva edición de la Revista Bits de Ciencia del DCC
(2019-04-02)


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

Syndicate content