El Dr. Pablo Martínez López, Profesor Asociado del Departamento de Ciencia y Tecnología de la Universidad Nacional de Quilmes, Argentina, visitó la Facultad de Ingeniería del 27 de mayo al 3 de junio, en el marco del proyecto STIC-Amsud “Types for Robust Program Development" financiado por la Agencia Nacional de Investigación e Innovación (ANII). El Dr. Martínez trabajó con integrantes de la Cátedra de Teoría de la Computación en los temas de este proyecto.