Thomas Vallejos

Master of Science in Computing from the Faculty of Physical and Mathematical Sciences (FCFM) at the University of Chile. His areas of interest are the design and applications of programming languages, with a particular focus on type systems.

Supervisors: Éric Tanter, Aidan Hogan