La Dra. Maribel Fernández, profesora en Ciencias de la Computación del Departamento de Informática de la Facultad de Ciencias Naturales y Matemáticas de King’s College London, Inglaterra, visitó del 25 al 29 de abril de 2016 la Facultad de Ingeniería. La visita se desarrolló en el marco del proyecto Design of a Type-Checking Algorithm for a Nominal Dependent Type System - Towards a Nominal Logical Framework, financiado por la Embajada Británica en Montevideo.