Diseño de un algoritmo de verificación de tipos para un sistema de tipos dependientes nominal - Hacia un Logical Framework Nominal

Convocatoria: Proyectos en Ciencias e Innovación de la Embajada Británica en Montevideo

Fuente de financiamiento: Embajada Británica en Montevideo

Duración: 6 meses

Fecha de aprobación: Octubre 2015

Fecha de comienzo: Noviembre 2015

Fecha de finalización: Mayo 2016

Resumen

En este proyecto se busca proporcionar la base necesaria para la implementación de un sistema de representación de lógicas, programas, especificaciones y pruebas de corrección, siguiendo el enfoque nominal, lo que constituye un aporte significativo al estado del arte en el tema.

Investigación

La Facultad de Ingeniería da servicios de apoyo a estudiantes avanzados y graduados para facilitar su inserción laboral. Según el último relevamiento realizado la facultad cuenta con plena inserción de sus graduados.

A través de este espacio se busca promover y dar a conocer las oportunidades que tienen las mujeres dentro del área de las Tecnologías de la Información y la Comunicación. Asimismo, se realizan diferentes actividades para impulsar a estudiar tecnología.

El Centro de Innovación y Emprendimientos (CIE) de la Universidad ORT Uruguay, promueve y desarrolla la generación de nuevos emprendedores. Sus acciones están dirigidas a fomentar la innovación, la actitud emprendedora y promover oportunidades.