Matías Toro Ipinza

Matías Toro is an Assistant Professor at the University of Chile, affiliated with the Computer Science Department (DCC) and PLEIAD Lab. His work focuses on programming languages, particularly type systems and gradual typing.

Research Interests:

• Programming Languages
• Type-and-effect Systems
• Gradual Typing
• Security Typing
• Substructural Type Systems
• Abstracting Gradual Typing
• Differential Privacy

Recent Work Trends: His publications cover gradual typing extensions for parametricity, differential privacy, SQL engines, and information flow security. Keywords: type systems, programming languages, privacy-preserving computation, abstract interpretation, language design, parametricity.

Scientific Awards:

• Distinguished Paper Award - superseded by JACM article "Gradual System F" (2022)

Grants: Recipient of FONDECYT DE INICIACIÓN (2025), PROYECTO DE COLABORACIÓN INTERNACIONAL DFG-ANID (2024), FONDECYT (2020), and CONICYT scholarships (2015, 2013) for academic studies.

Labs & Collaborations: Active in the PLEIAD Lab, contributing to programming language theory and type system design.