Observatorio de I+D+i UPM

Descripción
The main research areas of SpaRCIM are centered around: * Formal methods and programming languages: design and analysis of critical systems, quality and security of computing systems, rule-based programming, optimization, parallel and concurrent systems, programmer efficiency. * Software engineering: agile methods, components, e-mobility, mobile internet, web engineering, architecture, e-democracy, service oriented and model driven engineering. * Artificial intelligence: machine learning, multi-agent systems, constraint-based reasoning, ontologies, semantic web services, image processing and recognition. * Information systems: data mining, databases, data warehouses, modeling, decision support sytems.
Internacional	No
Tipo de proyecto	Proyectos y convenios en convocatorias públicas competitivas
Entidad financiadora	MICINN 2009-07495-E/TIN Special action / EU
Nacionalidad Entidad	ESPAÑA
Tamaño de la entidad	Pequeña Empresa (11-50)
Fecha concesión

Esta actividad pertenece a memorias de investigación

• Director: Manuel de Hermenegildo Salinas (UPM)
• Participante: Manuel Carro Liñares (UPM)

• Creador: Grupo de Investigación: Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP)
• Departamento: Inteligencia Artificial