Matias.jpg_thumb90

Matías Toro Ipinza

Profesor Asistente

Universidad de Chile

Santiago, Chile

Líneas de Investigación


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

Educación

  •  Doctorado en Ciencias de la Computación, UNIVERSIDAD DE CHILE. Chile, 2019
  •  Magister en Ciencias de la Computación, UNIVERSIDAD DE CHILE. Chile, 2015
  •  Ingeniero en Computación, UNIVERSIDAD DE CHILE. Chile, 2008

Experiencia Académica

  •   Profesor Asistente Full Time

    UNIVERSIDAD DE CHILE

    Facultad de Ciencias Físicas y Matemáticas

    Santiago, Chile

    2022 - A la fecha

  •   Profesor de Cátedra Other

    UNIVERSIDAD DE CHILE

    Facultad de Ciencias Físicas y Matemáticas

    Santiago, Chile

    2020 - 2021

  •   Profesor de Cátedra Other

    PONTIFICIA UNIVERSIDAD CATOLICA DE CHILE

    Santiago, Chile

    2021 - 2022

Experiencia Profesional

  •   Ingeniero de Software Full Time

    Via 56 S.A.

    Santiago, Chile

    2008 - 2019

Difusión y Transferencia


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”


Premios y Distinciones

  •   Premio Marcos Orrego Puebla

    INSTITUTO DE INGENIEROS DE CHILE

    Chile, 2009

    Premio otorgado al estudiante mejor titulado de la escuela de ingenieria.


 

Article (10)

Gradual Differentially Private Programming

Toro, Matías; Olmedo, Federico; TANTER, ÉRIC

Article
COMMUNICATIONS OF THE ACM  (2024)

Contextual Linear Types for Differential Privacy

Toro, Matias; Darais, David; Abuah, Chike; Near, Joseph P.; Árquez, Damián; Olmedo, Federico; TANTER, ERIC PIERRE

Article ISI SCOPUS
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS  (2023)

Gradual Probabilistic Lambda Calculus

Ye, Wenjia; Toro, Matias; Olmedo, Federico

Article ISI SCOPUS
 (2023)

Gradual System F

Labrada, Elizabeth; Toro, Matias; TANTER, ERIC PIERRE

Article ISI
JOURNAL OF THE ACM  (2022)

Plausible Sealing for Gradual Parametricity

Labrada, Elizabeth; Toro, Matias; TANTER, ERIC PIERRE; Devriese, Dominique

Article ISI SCOPUS
 (2022)

Abstracting gradual references

Toro, Matias; TANTER, ERIC PIERRE

Article ISI SCOPUS
SCIENCE OF COMPUTER PROGRAMMING  (2020)

Gradual Parametricity, Revisited

Toro, Matias; Labrada, Elizabeth; TANTER, ERIC PIERRE

Article ISI SCOPUS
 (2019)

Type-driven gradual security with references

Toro M.; Garcia R.; Tanter É.

Article ISI SCOPUS
ACM Transactions on Programming Languages and Systems  (2018)

A Gradual Interpretation of Union Types

Toro, Matías; Tanter, Éric

Article
LECTURE NOTES IN COMPUTER SCIENCE  (2017)

Customizable Gradual Polymorphic Effects for Scala

Toro, M; Tanter É.

Article ISI SCOPUS
Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA  (2015)

ConferencePaper (1)

A gradual interpretation of union types

Toro M.; Tanter É.

ConferencePaper ISI SCOPUS
 (2017)

10
Matías Toro

Profesor Asistente

Departamento de Ciencias de la Computación

Universidad de Chile

Santiago, Chile

1
ERIC TANTER

Profesor Titular

Ciencias de la Computación

UNIVERSIDAD DE CHILE - DEPTO DE CIENCIAS DE LA COMPUTACION

Santiago, Chile