Eric Tanter

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




Investigación del DCC destacada en la conferencia internacional más prestigiosa de lenguajes de programación
(2019-01-22)


 

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

 

Syndicate content