Close
DCC | Académicas/os - Matías Toro

Académicas/os

Títulos y Grados

  • Doctor - Universidad de Chile2019
  • Ingeniero Civil en Computación - Universidad de Chile2008

Docencia Últimos 7 años

Alumnos Memoristas de Pregrado Últimos 7 años

Participación como Profesor Guía

  • Estudio de lenguaje gradual con subtipos nominales, 2025
  • Extensión De EduCáncer Para Su Aplicación En Distintos Tipos De Cáncer, 2024
  • Sistema de apoyo a la docencia y gestión de alumnos en cursos con metodologías grupales, 2024
  • Diseño e implementación de sistema de autenticación de usuarios conectando bases de datos preexistentes, 2023

Participación como Presidente de Examen

  • Transformación Integral de la Aplicación DataFeed, 2025

Participación como Profesor Co-guía

  • BusY - Sistema de visualización y análisis espacial de datos geo-referenciados de transporte público, 2024
  • Sinopsis Privadas para Algoritmos de Clustering sobre Datos Dispersos, 2024
  • Estudio e Implementación de un Lenguaje de Autorización para Bases de Datos Relacionales, 2023
  • Gradual Sensitivity Types, 2021
  • Countable Polymorphic May-Must Effects, 2020

Participación como Profesor Integrante

  • Analítica de Datos Astronómicos Masivos Utilizando Bases de Datos Vectoriales, 2025
  • Desarrollo de herramienta de detección de anomalías viales y reporte de indicadores de movilidad mediante información GPS y estimación de velocidades de buses Red en tiempo real, 2025
  • Diseño de un Modelo de Mecánicas de Videojuegos para el Desarrollo de Habilidades de Pensamiento Computacional, 2025
  • Keen: Kotlin Genetic Algorithms Framework, 2025
  • Slicing Of Probabilistic Programs Based On Specifications, 2025
  • A Coq Formalization Of RDF And Its Applications, 2024
  • Aplicación Web Para Diseñar Bases de Datos, 2024
  • Desarrollo de un sistema de análisis de registros DMARC, 2024
  • Refinamiento de mallas poligonales por inserción de puntos, 2024
  • Una nueva plataforma de datos para el Instituto Milenio Fundamentos de los Datos, 2024
  • Divide and Conquer: An Extreme Multi-Label Classification Approach for Coding Diseases and Procedures in Spanish, 2023
  • Interfaz web para analizar logs de uso de communication Board por varios sujetos, 2023
  • Mejoramiento Automático de Mallas Compuestas de Unidades de Respuesta Hidrológica (URHs) Implementado en QGIS, 2023
  • Sistema de Valorización de Instrumentos Derivados para una Fintec, 2023
  • Sistema de conformación de equipos para Proyecto de Software, 2023
  • Implementación de Leapfrog Triejoin sobre Estructura de Datos Compactas, 2022
  • Asistente Bio-Urbano: Soporte Asistido por IA para la Toma de Decisiones en el Desarrollo de Soluciones Basadas en la Naturaleza,

Alumnos Tesistas de Magíster Últimos 7 años

Participación como Profesor Co-guía

  • Gradual Sensitivity Types, 2021
  • Countable Polymorphic May-Must Effects, 2020

Participación como Profesor Integrante

  • Diseño de un Modelo de Mecánicas de Videojuegos para el Desarrollo de Habilidades de Pensamiento Computacional, 2025
  • Keen: Kotlin Genetic Algorithms Framework, 2025
  • Slicing Of Probabilistic Programs Based On Specifications, 2025
  • A Coq Formalization Of RDF And Its Applications, 2024
  • Data Sintética Privada, Ejecución y Evaluaciones de Modelos, 2024
  • Divide and Conquer: An Extreme Multi-Label Classification Approach for Coding Diseases and Procedures in Spanish, 2023

Alumnos Tesistas de Doctorado Últimos 7 años

Participación como Profesor Guía

  • Gradual SysteM F, 2023

Investigación Últimos 7 Años

Publicaciones

  • A Gradual Probabilistic Lambda CalculusProceedings Of The Acm On Programming Languages-Pacmpl, vol 7, 2023, pag 256-285
  • Contextual Linear Types for Differential PrivacyAcm Transactions On Programming Languages And Systems, vol 45, 2023, pag 1-69
  • Gradual System FJournal Of The Acm, vol 69, 2022
  • Plausible Sealing for Gradual ParametricityProceedings Of The Acm On Programming Languages-Pacmpl, vol 6, 2022
  • Abstracting gradual referencesScience Of Computer Programming, vol 197, 2020
© 2022 - 2025 Departamento de Ciencias de la Computación, Universidad de Chile