Detalle del Docente 2016-12-06T16:49:11+00:00

Pardo Costa, Alberto Raúl

DATOS PERSONALES Y ACADÉMICOS

Grado y Servicio

Grado 5 / Facultad de Ingenieria / Instituto de Computación

Contacto

Email: pardo@fing.edu.uy / Teléfono: 27114244

Área disciplinar

Basica

Disciplina / Subdisciplina

Computación / Métodos Formales / Programación funcional / Transformación de Programas

Mayor nivel académico

Doctorado, Technische Universität Darmstadt, Alemania (año 2001)

Link a web personal

http://www.fing.edu.uy/~pardo/

Link a CVUY

Pertenece al SNI

Si pertenece / Nivel II

Pertenece al PEDECIBA

Si pertenece / Grado 4

DATOS DEL PROYECTO DE DEDICACIÓN TOTAL

Título del Plan de Actividades

Fusión de programas recursivos con efectos.

Palabras clave

programación funcional, fusión, deforestación, efectos, programas circulares

Resumen Publicable

Mi área principal de investigación gira alrededor del cálculo y transformación de programas funcionales. En la misma se abordan aspectos teóricos y prácticos relacionados con técnicas para la derivación y transformación de programas las cuales han demostrado ser de suma importancia en el contexto de los lenguajes funcionales. En particular, la aplicación de dichas técnicas puede implicar el mejoramiento, a veces significativo, de la performance de los programas al ejecutarse.Los lenguajes funcionales son lenguajes con un alto nivel de abstracción lo que contribuye al proceso de diseño y construcción de software. Un programa funcional consiste de un conjunto de definiciones de funciones las que se suelen construir como la composición de funciones relativamente simples y sencillas de escribir. Los programas así definidos tienden a ser modulares y facilitan tanto la actividad de mantenimiento como el razonamiento formal acerca de ellos. Sin embargo, un programa modular no necesariamente es eficiente al ejecutarse debido a que cada composición de funciones carga consigo la construcción de una estructura de datos intermedia. Existen técnicas de transformación de programas cuyo objetivo es la eliminación de las estructuras intermedias. La idea es transformar el código original a uno equivalente en donde se intenta sustituir las composiciones de funciones por definiciones que mezclan los códigos de las funciones involucradas. A estas técnicas de transformación de programas funcionales se las conoce como fusión o deforestación. En mi trabajo de investigación me he concentrado en el estudio de técnicas de fusión basadas en ciertas leyes algebraicas entre programas y que vienen asociadas a una variedad de esquemas de programas de uso habitual en programación funcional. Mi trabajo ha tenido como eje principal el estudio de leyes de fusión para casos no estándar. En este sentido, mi aporte ha sido en tres líneas. Por un lado, he estudiado leyes asociadas a programas funcionales con efectos colaterales cuando tales efectos son modelados por estructuras llamadas mónadas. En forma similar, he estudiado leyes asociadas a programas que manipulan información de contexto modelada por comónadas, y en particular he analizado en profundidad la formulación de leyes para programas con acumuladores. Por último, he investigado también el uso de leyes de fusión para la derivación de programas circulares y programas de alto orden (tanto puros como con efectos). Mi aporte en este tema también ha sido en aspectos prácticos. Por ejemplo, he liderado el desarrollo de una herramienta interactiva, llamada HFusion, que permite la fusión de programas puramente funcionales escritos en Haskell.

Grado y Fecha de Ingreso al RDT

Grado 3 / Desde: 2002-09-04

Programa: Científico Proveniente del Exterior

El cargo NO se enmarca en este programa

Participa de Grupo Autoidentificado

Grupos: Grupo de Métodos Formales

Observaciones

DOCUMENTACIÓN ADJUNTA

Curriculum Vitae

Descargar CV

Último informe de renovación

Aún no se ha cargado el último informe de renovación.

Producción Académica

Documento 1: Aún no se ha cargado este archivo de Producción Académica.
Documento 2: Aún no se ha cargado este archivo de Producción Académica.
Documento 3: Aún no se ha cargado este archivo de Producción Académica.