Tomás Vallejos

Master’s in Computer Science from the Faculty of Physical and Mathematical Sciences (FCFM) of the U de Chile. His areas of interest are the design and applications of programming languages, with particular attention to type systems.

Supervisors: Éric Tanter, Aidan Hogan