El proyecto “Dependent Types for Nominal Terms” presentado a la Royal Society en forma conjunta por la Dra. Nora Szasz, Coordinadora Académica de Ingeniería en Sistemas de la Facultad de Ingeniería, y la Dra. Maribel Fernández, investigadora del King´s College London, fue aceptado para su financiamiento. El proyecto, de dos años de duración, financia viajes entre investigadores de ambas instituciones.