Tomás Vallejos
Magíster en Ciencias mención Computación de la Facultad de Ciencias Físicas y Matemáticas (FCFM) de la U de Chile. Sus áreas de interés son el diseño y aplicaciones de los lenguajes de programación; con particular atención en sistemas de tipos. Supervisores: Éric Tanter, Aidan Hogan