Foto: Archivo DCC.
Eric Tanter
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.
Prof. Éric Tanter obtuvo un ACM SIGPLAN Distinguished Paper Award
(2018-11-19)
El profesor del DCC Éric Tanter obtuvo un nuevo reconocimiento, esta vez en la conferencia OOPSLA, donde obtuvo un ACM SIGPLAN Distinguished Paper Award.
Profesor Éric Tanter obtuvo Distinguished Paper Award
(2018-10-04)
El académico recibió dicho reconocimiento en la 23rd ACM SIGPLAN International Conference on Functional Programming (ICFP 2018).
Profesor Éric Tanter integrará Comité Editorial de importante Revista
(2018-04-03)
El académico del DCC participará en el comité editorial Board de la revista Science of Computer Programming.
