He is studying in the Master’s program in Computer Science, specializing in the Faculty of Physical and Mathematical Sciences (FCFM) at the University of Chile. His areas of interest are programming language design and applications, with particular focus on type systems.

Supervisors: Éric Tanter, Aidan Hogan.