Investigar el procesamiento paralelo y distribuido aplicado a tratamiento masivo de datos.\nLos 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.\nSe trabaja experimentalmente son cuatro modelos de arquitectura multiprocesador, disponibles/accesibles en el LIDI.\nInteresa 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: Procesamiento Concurrente, Paralelo y Distribuido