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
2026
2025
Travel Behaviour and Society
Reducing urban speed limits decreases work-related traffic injury severity: Evidence from Santiago, Chile
2025 44th International Conference of the Chilean Compute...
A Study of Data Anonymization in Chile’s Public Sector
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
Martín Ignacio Rojas Cornejo
Tool Access as Variable in LLM-Based Grading: An Empirical Study on Object-Oriented Design Criteria (co-advised with Felipe Bravo) -
MSc
Matías Alejandro Godoy Concha
Framework de Evaluación Estandarizado para Métodos de Privacidad Diferencial en Retrieval-Augmented Generation (co-advised with Felipe Bravo) -
MSc
Javier Kauer
Gradual Typing for Objects (co-advised with Éric Tanter) -
MSc
Arturo Felipe Kullmer Schuller
HIERARCHICAL DIFFERENTIAL PRIVACY FOR THE PUBLICATION OF NATIONAL CENSUS DATA (co-advised with Federico Olmedo) -
MSc
Félix Ignacio Melo Avilés
SYNTHETIC SPANISH MEDICAL TEXT GENERATION USING DIFFERENTIAL PRIVACY (co-advised with Federico Olmedo) -
PhD
Damián Nicolás Arquez Trigo
Flexible Language Support for Differentially-Private Programming (co-advised with Éric Tanter)
Current Undergraduate Thesis Students (23)
-
UG
Matías Ignacio Neira Miranda — Conversión de consultas SQL entre sistemas de gestion de bases de datos
-
UG
Benjamín Antonio Estupiñan Badilla — Plataforma de uso compartido de GPU para entrenamiento e inferencia interactiva
-
UG
Tomás Vicente Méndez Corvalán — froGQL: Refactorización y aseguramiento de calidad
-
UG
Vicente Javier Álamos Villanueva — Refactorización y aseguramiento de calidad en Tyger
-
UG
Diego Samuel Tapia Ramírez — No tiene aun pero trabaja en Buk
-
UG
Francisco Gutiérrez Albornoz — Optimización de flujo de desarrollo usando agentic AI en Fintech
-
UG
Daniel Ramírez López — Roadmap de educación
-
UG
Tamara Salomé Marciel González — Implementación de soporte para Dipreca y Capredena en Buk
-
UG
Jannis Isabel Cruz — Expansión de Buk asistencia en Brasil
-
UG
Mikael Gaete López — Behavior-Preserving SQL Translation with LLMs
-
UG
Alexander Reisenegger Meissner — Sistema Centralizado de Gestión de Costos para Servicios de IA
-
UG
Diego San Martín A. — Optimización de flujo de desarrollo usando agentic AI en Fintech (Chita)
-
UG
Ariel Ignacio Leon Soto — Mejorando la privacidad en la Encuesta de Presupuestos Familiares
-
UG
Andrés Gallardo — Desarrollo de herramienta de balanceo de charts en Buk
-
UG
Constanza Almendra Pizarro Oyaneder — Umlify: Diagramas de clases con exportación a código fuente Scala
-
UG
Felipe Avendaño Araya — Prototipo de GQL en Rust
-
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
Nicolás Rodrigo Arancibia Aguirre — Gradual Typing para Python: extendiendo Tyger
-
UG
Benjamín Alonso Ibacache Allan — Gradual Typing para Python: Privacidad de datos
-
UG
Andrés Ignacio Calderón Guardia — Extensión de Aplicación multiplataforma para la administración de cursos con salidas de terreno
-
UG
Jean Paul Duchens P. — Extensión de un prototipo para GQL
-
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
Former Graduate Students
-
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
Elizabeth Labrada: Gradual System F (2023) [co-advised with Éric Tanter]
Former Undergraduate Thesis Students (21)
-
UG
Carlos Adolfo Ruz Benavides: Desarrollo de frontend web para proyectos de CC3002 (2026)
-
UG
Angelo Alexander Herrera Galaz: Gradual Typing para Python: semantica eficiente (2026)
-
UG
Jonnathan Stevens: Desarrollo de un Intérprete para un Lenguaje Gradual Probabilístico (2026)
-
UG
Giusseppe Nicolás Rojas Rojas: TYGER: UN ACERCAMIENTO AL GRADUAL TYPING EN PYTHON (2026)
-
UG
Arturo Felipe Kullmer Schuller: Manteniendo la privacidad en los censos nacionales (2025)
-
UG
Cristóbal Ardiles Quiroz: TYGER: UNA HERRAMIENTA DE TIPADO ESTÁTICO EXTENSIBLE PARA PYTHON (2025)
-
UG
Enzo Miguel Castillo Morales: ESTUDIO DE UN LENGUAJE GRADUAL CON SUBTIPOS NOMINALES (2025)
-
UG
Kathleen Alexandra Köhler Ávila: Extensión de aplicación ERdoc (2025)
-
UG
Martina Javiera Mora Lepin: Anonimización utilizando Abstract Interpretation (2025)
-
UG
Martín Ignacio Ramírez Aravena: Gradual Typing para Python: plugin para IDE (2025)
-
UG
Rodrigo Alexis Hidalgo Flores: Optimización y modernización de la infraestructura tecnológica de EmbedX con Kubernetes (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
Sebastián Ricardo Bórquez Luarte: Desarrollo de una aplicación generadora de diagramas UML a partir de código fuente Scala (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
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
Raúl Alexander Silva Astudillo: EXTENSIÓN DE EDUCÁNCER PARA SU APLICACIÓN EN DISTINTOS TIPOS DE CÁNCER (2024)
-
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
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
CC5003
Aplicaciones Web Reactivas
2026, 2025
CC3002
Metodologías de Diseño y Programación
2026, 2025, 2024, 2023, 2022
CC5215
Privacidad de datos
2026, 2025, 2024, 2023
CC3201
Bases de Datos
2024, 2023, 2022
Courses created: CC5003 Aplicaciones Web Reactivas (2025), CC5215 Privacidad de datos (2023)
Academic Service
Service & Administration
-
Consejero de Postdoc, Consejo de Postdoc, Departamento de Ciencias de la Computación
-
Coordinador, Desarrollo de Software del DCC
-
Miembro, Comité DCC: Ciberseguridad, Privacidad, y Digitalización
-
Miembro, Consejo de departamento
-
Miembro, CTD plan común
-
Miembro, Consejo estratégico del departamento
In the Press
-
Programa: Sin Pretexto Conduce: Mirna Schindler Filtracion de datos en las instituciones publicas de Chile https://www.youtube.com/watch?v=1stCh5M8Nwc
-
Entrevista sobre conflicto entre Anthropic y el Pentagono (TBA)
-
Desayuno con prensa – Revista Bits Tema: presentación de técnicas de anonimización https://www.instagram.com/p/DYQqU69xpMl/
-
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