Research Interests: - Programming Languages - Type-and-effect systems - Gradual Typing - Security Typing - Substructural Type Systems - Abstracting Gradual Typing - Differential Privacy

Charlas
2023-10-24 JCC2022, Jornadas de Ciencias de la Computación 2022. Escuela de Fundamento de Datos: Importación programática de datos y Privacidad de datos
2023-11-16 Seminario Datos IA y Ética: Como fortalecer las bases de nuestra sociedad digital.

Extension:
2022-05-1 Revista bit y ciencias del DCC de la Universidad de Chile. Articulo sobre el Servel y la privacidad
2023-10-13 Revista bit y ciencias del DCC de la Universidad de Chile. Articulo sobre privacidad gradual.
2025-08-29 Panelista de Coloquio: Gobernando la IA

Transferencias:
2022-11-16 — Servel, analizar sus datos publicados y proponer mejoras en privacidad.
2023-03 FALP trabajo sobre publicación de datos médicos protegiendo la privacidad de los pacientes.
2023-03 Miembro fundador de grupo de ética y privacidad en el IMFD
2024-01 Trabajos en creación de diplomado de “uso responsable de datos”