Ph.D. candidate in Computer Science at the University of Chile, specializing in Programming Languages and Differential Privacy. Civil Engineer in Computer Science and Master’s in Computer Science at the University of Chile. Areas of interest include Programming Languages, Differential Privacy, and Gradual Typing Systems.

Supervisor: Éric Tánter.