Federico Olmedo

La edición número 19 de la publicación, aborda como tema central "Tecnologías digitales y proceso constituyente"

¿Cuál es el rol que las tecnologías digitales deben tener en un potencial proceso constituyente? Es la interrogante que aborda la Revista Bits de Ciencia del DCC, que en su edición número 19 se centra en analizar este tema desde diferentes aristas.

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 tema central de la edición número 18 analiza los efectos de la digitalización en el trabajo y presenta una nueva sección llamada Premio Turing.

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.