La Dra. Maribel Fernández, investigadora de King´s College London, visitó del 14 al 22 de diciembre de 2011 la Facultad de Ingeniería. Durante su estadía mantuvo reuniones con la Dra. Nora Szasz, Coordinadora Académica de Ingeniería en Sistemas, y el Dr. Álvaro Tasistro, Coordinador Académico del Master en Ingeniería y Catedrático de Teoría de la Computación de la Facultad de Ingeniería, para continuar con la línea de investigación iniciada con el proyecto ya concluido "Dependent Types for Nominal Terms".