Investigadores

Estudia en el programa de 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