Investigar el procesamiento paralelo y distribuido aplicado a tratamiento masivo de datos. Los temas fundamentales propuestos en el proyecto se refieren a la especificación, transformación, optimización y verificación de algoritmos concurrentes ejecutables en sistemas paralelos/distribuidos, la optimización de clases de soluciones en función de modelos de arquitectura multiprocesador y las métricas de complejidad y eficiencia relacionadas con el procesamiento paralelo. Se trabaja experimentalmente son cuatro modelos de arquitectura multiprocesador, disponibles/accesibles en el LIDI. Interesa especialmente la aplicación de estas investigaciones al tratamiento masivo de datos de imágenes (genéricas, médicas y de cultivos), de datos numéricos (cómputo científico) y de bases de datos distribuidas.Eje: Concurrencia y ParalelismoRed de Universidades con Carreras en Informática (RedUNCI)