Agencia Nacional de Investigación e Innovación aprobó proyecto presentado por catedrático de la Facultad de Ingeniería
02/04/2015
El proyecto "Teoría de Tipos Dependientes: Meta-teoría y Aplicaciones", del Dr. Álvaro Tasistro, coordinador académico del Master en Ingeniería (por investigación y catedrático de Teoría de la Computación de la Facultad de Ingeniería, fue aprobado para su financiación por la Agencia Nacional de Investigación e Innovación (ANII).
El proyecto se desarrolla en el marco de la cooperación bilateral con el Consejo Nacional de Investigaciones Científicas y Técnicas (Conicet) de la República Argentina, que financia viajes y estadías de investigadores en ambos países por dos años.