M1 "Fundamentos y Aplicaciones Avanzadas de la Programación Funcional"
Horario: 9 a 12 hs.
Delia Kesner es Licenciada en Informática (ESLAI, '89), obtuvo un DEA en Informática Fundamental (Université París VII, '90) y un Doctorado en Informática (Université Paris-Sud, '93). Sus temas de investigación abarcan Reescritura, Substituciones Explícitas, Teoría de la Prueba, Teoría de Tipos y Cálculo Lambda. Es Maître de Conferences en la Universidad de París-Sud.
Roberto Di Cosmo ha obtenido una "Laurea" cum laude en Informática (Escuela Normal Superior de Pisa, '86) y un Doctorado en Informática (Universidad Nacional de Pisa, '93). Sus temas de investigación abarcan Cálculo Lambda, Teoría de Categorías, Teoría de Juegos y Programación Distribuida.Es Maître de Conferences en la Escuela Normal Superior de París.
Ambos participan en varios proyectos de cooperación internacional y han publicado numerosos artículos en revistas de renombre internacional.
Programa y Objetivos:
Dar a los estudiantes una visión general de los fundamentos básicos de la programación funcional (cálculo lambda, con y sin tipos, substituciones explícitas) y de los más modernos mecanismos de programación, culminando con ejemplos prácticos de programación distribuida en OcamlP3L (sistema de programación paralela funcional de alto nivel de abstracción basado en el modelo "skeleton/template" que permite realizar programas distribuídos eficientes con sorpresiva sencillez).
Prerrequisitos:
Conocimiento básicos de programación y familiarización con
sistemas formales.
ESTE CURSO SERÁ DICTADO EN CASTELLANO