Lenguajes y Métodos de Programación en Teoría de Tipos

Convocatoria: Fondo Clemente Estable (FCE 20011)

Fuente de financiamiento: Agencia Nacional de Investigación e Innovación.

Duración: 20 meses.

Fecha de aprobación: noviembre de 2011

Fecha de comienzo: agosto de 2013

Fecha de finalización: marzo 2015

Palabras clave: Metateoría Formal, Programación con Tipos Dependientes

Resumen
El objetivo de este proyecto es estudiar distintos sistemas sintácticos de tratamiento de las variables ligadas, con el fin de llegar a resultados efectivos sobre la aplicabilidad de estos sistemas. Se utiliza para ello la Teoría Constructiva de Tipos como sistema lógico. Esto nos permite también investigar métodos de programación con tipos dependientes por medio de la experimentación con métodos de formalización que no han sido abordados previamente.

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.