Matías Toro Ipinza
Research Domains
Gradual Typing
Designing sound bridges between static safety and dynamic flexibility in modern languages.
Differential Privacy
Language-level support for privacy-preserving data analysis with formal guarantees.
Security Typing
Type systems that enforce confidentiality and integrity by construction.
Formal Methods
Mechanized proofs and formal semantics for programming language design.
About
My research lies at the intersection of programming language design and sensitive data protection, with a focus on formal techniques. I study how to gradually adopt advanced type systems (such as linear or probabilistic types) to guarantee security and privacy properties. In parallel, I explore differential privacy and anonymization techniques, applied both to software engineering and real-world data analysis, with applications in artificial intelligence and natural language processing. My work combines formal theoretical contributions with empirical applications, promoting systems that are trustworthy by design.
Publications
2025
Travel Behaviour and Society
Reducing urban speed limits decreases work-related traffic injury severity: Evidence from Santiago, Chile
2024
2023
2022
2015
Research Projects
-
Learning Origin-destination Inference through Cross-source Analytics (LOICA)
-
Gradual Differential Privacy: Theory and Applications
-
Privacy-preserving methods for clinical natural language processing in Spanish
-
Gradual Abstract Interpretation
-
Evaluación de la distancia recorrida por un trabajador durante el trayecto desde o hacia su trabajo como factor de riesgo de exposición en accidentes de tránsito de Mutual de Seguridad C.Ch.C
Research Centers
-
Instituto Milenio de Fundamento de Datos (IMFD)
-
Instituto Milenio de Fundamento de Datos (IMFD)
Students
Current Graduate Students
-
MSc
Arturo Felipe Kullmer Schuller
HIERARCHICAL DIFFERENTIAL PRIVACY FOR THE PUBLICATION OF NATIONAL CENSUS DATA (co-advised with Federico Olmedo) -
MSc
Javier Kauer
Gradual Typing for Objects (co-advised with Éric Tanter) -
MSc
Félix Ignacio Melo Avilés
SYNTHETIC SPANISH MEDICAL TEXT GENERATION USING DIFFERENTIAL PRIVACY (co-advised with Federico Olmedo) -
MSc
Gaspar Ricci
Gradual Abstract Interpretation (co-advised with Éric Tanter) -
MSc
José L. Romero
A Compilation Framework for Gradually-Typed Languages (co-advised with Éric Tanter) -
PhD
Damián Nicolás Arquez Trigo
Flexible Language Support for Differentially-Private Programming (co-advised with Éric Tanter)
Current Undergraduate Thesis Students (22)
-
UG
Jannis Isabel Cruz — Expansión de Buk asistencia en Brasil
-
UG
Ariel Ignacio Leon Soto — Mejorando la privacidad en la Encuesta de Presupuestos Familiares
-
UG
Tamara Salomé Marciel González — Implementación de soporte para Dipreca y Capredena en Buk
-
UG
Alexander Reisenegger Meissner — Sistema Centralizado de Gestión de Costos para Servicios de IA
-
UG
Daniel Ramírez López — Roadmap de educación
-
UG
Andrés Gallardo — Desarrollo de herramienta de balanceo de charts en Buk
-
UG
Francisco Gutiérrez Albornoz — Optimización de flujo de desarrollo usando agentic AI en Fintech
-
UG
Mikael Gaete López — Behavior-Preserving SQL Translation with LLMs
-
UG
Diego Samuel Tapia Ramírez — No tiene aun pero trabaja en Buk
-
UG
Antonia Padilla Roco — Diseño e implementación de catálogo histórico personalizado para sugerencia de proveedores en un marketplace B2B
-
UG
Diego San Martín A. — Optimización de flujo de desarrollo usando agentic AI en Fintech (Chita)
-
UG
Benjamín Ureta M. — Desarrollo de página web para vinculación del DCC con el medio
-
UG
Martina Ignacia González Lucero — Acelerando la Protección de Datos Censales: Versión Paralela del Algoritmo TopDown
-
UG
Juan I. Valdivia G. — Extensión y mejora de una plataforma web y móvil para la gestión de cursos masivos con metodologías grupales
-
UG
Nicolás Rodrigo Arancibia Aguirre — Gradual Typing para Python: extendiendo Tyger
-
UG
Jonnathan Stevens — Desarrollo de un Intérprete para un Lenguaje Gradual Probabilístico
-
UG
Nicolas Lemuñir R. — Implementación de intérprete genérico de lenguajes gradualmente tipados
-
UG
Felipe Avendaño Araya — Prototipo de GQL en Rust
-
UG
Jean Paul Duchens P. — Extensión de un prototipo para GQL
-
UG
Benjamín Alonso Ibacache Allan — Gradual Typing para Python: Privacidad de datos
-
UG
Angelo Alexander Herrera Galaz — Gradual Typing para Python: semantica eficiente
-
UG
Andrés Ignacio Calderón Guardia — Extensión de Aplicación multiplataforma para la administración de cursos con salidas de terreno
Former Graduate Students
-
PhD
Elizabeth Labrada: Gradual System F (2023) [co-advised with Éric Tanter]
Former Undergraduate Thesis Students (19)
-
UG
Giusseppe Nicolás Rojas Rojas: TYGER: UN ACERCAMIENTO AL GRADUAL TYPING EN PYTHON
-
UG
Carlos Adolfo Ruz Benavides: Desarrollo de frontend web para proyectos de CC3002
-
UG
Martina Javiera Mora Lepin: Anonimización utilizando Abstract Interpretation (2025)
-
UG
Sebastián Ricardo Bórquez Luarte: Desarrollo de una aplicación generadora de diagramas UML a partir de código fuente Scala (2025)
-
UG
Enzo Miguel Castillo Morales: ESTUDIO DE UN LENGUAJE GRADUAL CON SUBTIPOS NOMINALES (2025)
-
UG
Cristóbal Ardiles Quiroz: TYGER: UNA HERRAMIENTA DE TIPADO ESTÁTICO EXTENSIBLE PARA PYTHON (2025)
-
UG
Romina Fernanda Yael Rodríguez Rodríguez: Aplicación multiplataforma para la administración de información confidencial en cursos con salidas a terreno (2025)
-
UG
Rodrigo Alexis Hidalgo Flores: Optimización y modernización de la infraestructura tecnológica de EmbedX con Kubernetes (2025)
-
UG
Martín Ignacio Ramírez Aravena: Gradual Typing para Python: plugin para IDE (2025)
-
UG
Arturo Felipe Kullmer Schuller: Manteniendo la privacidad en los censos nacionales (2025)
-
UG
Tomás Joaquín Rivas Acuña: Detección de vulnerabilidades de privacidad en la publicación de datos por parte de instituciones públicas (2025)
-
UG
Kathleen Alexandra Köhler Ávila: Extensión de aplicación ERdoc (2025)
-
UG
Benjamin Jesus Pozo Vidal: DESARROLLO E INTEGRACION DE SISTEMAS PARA LA MEJORA DE LA ́ATENCION AL CLIENTE MEDIANTE MICROSERVICIOS DE CHATBOT, ́TELEFON ́IA VOIP Y SISTEMA DE TICKETS (2025)
-
UG
Jorge Andrés Cruces Ortiz: Typechecker enfocado a dimensionalidad de tensores: Soporte para NLP (2025)
-
UG
Tomás Ignacio Cortez Encina: Diseño e implementación de sistema de autenticación de usuarios conectando bases de datos preexistentes (2023)
-
UG
Raúl Alexander Silva Astudillo: EXTENSIÓN DE EDUCÁNCER PARA SU APLICACIÓN EN DISTINTOS TIPOS DE CÁNCER (2024)
-
UG
Cristián Andrés Salazar De La Fuente: Sistema de apoyo a la docencia y gestión de alumnos en cursos con metodologías grupales (2024)
-
UG
Bruno Germán Rodríguez Sepúlveda: CLUSTERING DIFERENCIALMENTE PRIVADO MEDIANTE LA GENERACION DE SINOPSIS PRIVADAS DE DATOS (2024)
-
UG
Vicente Reyes Valdivieso: Estudio e implementación de un lenguaje de autorización para bases de datos relacionales (2023)
Teaching
CC5215
Privacidad de datos
2026, 2025, 2024, 2023
CC3002
Metodologías de Diseño y Programación
2026, 2025, 2024, 2023, 2022
CC5003
Aplicaciones Web Reactivas
2025
CC3201
Bases de Datos
2024, 2023, 2022
Courses created: CC5003 Aplicaciones Web Reactivas (2025), CC5215 Privacidad de datos (2023)
Academic Service
Service & Administration
-
Coordinador, Desarrollo de Software del DCC
-
Miembro, Comité DCC: Ciberseguridad, Privacidad, y Digitalización
-
Miembro, CTD plan común
-
Miembro, Consejo de departamento
-
Miembro, Consejo estratégico del departamento
In the Press
-
Brecha crítica: Revelan vulnerabilidades en la anonimización de datos públicos ad portas de la nueva Ley de Protección de datos
-
Deuda cognitiva: los costos invisibles de dejar que la IA haga las tareas.
-
Reducción de velocidad urbana disminuyó en más de cuatro días la gravedad e accidentes laborales de tránsito
-
FCFM lidera investigación científica con siete nuevos proyectos Fondecyt Iniciación 2025