Hola,
PEDECIBA Informática abrió un llamado a estudiantes de grado para realizar pasantías de iniciación a la investigación. Pueden encontrar más información AQUÍ
La actividad está destinada a estudiantes universitarios avanzados en sus carreras de grado, con el objetivo de integrarlos en los grupos de investigación de PEDECIBA Informática a través de la realización de tareas asociadas a proyectos de investigación y la participación en seminarios internos.
No se considerarán candidatos que hayan tenido o tengan becas similares para la carrera en curso.
Las propuestas de pasantías disponibles se encuentran AQUÍ
Nosotros presentamos las siguientes por si les interesan o conocen a alguien a quien les parece puedan interesar:
----------------------------------------------------------------------------------------------------------
21. Investigador proponente: Marcos Viera y Alberto Pardo
Contacto: pardo@fing.edu.uy y mviera@fing.edu.uy
Título: Compilación de un lenguaje funcional simple a LLVM
Descripción: La plataforma LLVM provee de una colección de tecnologías para la construcción de
compiladores altamente optimizados. Se puede utilizar para desarrollar un front-end para cualquier lenguaje de
programación y un back-end para cualquier arquitectura. LLVM está diseñada en torno a una representación
intermedia (IR), con características imperativas, que sirve como un lenguaje ensamblador portátil de alto nivel
que se puede optimizar con una variedad de transformaciones en múltiples pasadas. El objetivo de esta
pasantía es implementar la traducción de un lenguaje funcional sencillo a la IR de LLVM como parte de un
compilador para el lenguaje funcional.
22. Investigador proponente: Marcos Viera y Alberto Pardo
Contacto: pardo@fing.edu.uy y mviera@fing.edu.uy
Título: Uso de técnicas de programación a nivel de tipos para la representación de invariantes de estructuras
de datos
Descripción: Las estructuras de datos suelen tener invariantes asociados que regulan su funcionamiento y que
deben ser respetados por sus operaciones. Nuestro interés es analizar la implementación funcional de diversas
estructuras estudiando en cada caso la posibilidad de representar sus invariantes a nivel de tipos. Efectivizar
dicha representación va a depender del poder expresivo del mecanismo de tipado del lenguaje en que se realice
la implementación y el tipo de restricción que se desee representar. Teniendo dicha representación a nivel de
tipos va a ser posible verificar estáticamente (mediante chequeo de tipos) que los invariantes son respetados
por las operaciones.
23. Investigador proponente: Marcos Viera y Alberto Pardo
Contacto: pardo@fing.edu.uy y mviera@fing.edu.uy
Título: Biblioteca estándar de MateFun
Descripción: MateFun es un lenguaje de programación funcional muy simple, diseñado con el objetivo de
introducir la programación a estudiantes liceales y fortalecer su comprensión del concepto de función
matemática. Una de las principales características de MateFun es que posee un conjunto muy reducido de
palabras clave y funciones primitivas. El propósito de esta pasantía es el de diseñar e implementar una serie de
bibliotecas estándar para MateFun que provean de funcionalidades básicas de aritmética, álgebra y geometría.
----------------------------------------------------------------------------------------------------------
saludos!