Observatorio de I+D+i UPM
• ESPAÑOL
• ENGLISH
INVESTIGADORES
ESTRUCTURAS DE I+D+I
ACTIVIDAD INVESTIGADORA
INNOVACIÓN
Grupos de Investigación
Departamentos UPM
Centros/Institutos I+D+i
Escuelas y Facultades
Cátedras Univ.-Empresa
Comparativas
/ Grupos de Investigación
/ Estructuras I+D+I
> HOME
Grupo de Investigación
BABEL: Desarrollo de Software Fiable y de Alta Calidad a partir de Tecnología Declarativa
Investigador Responsable
Julio Mariño Carballo
Escuela UPM
E.T.S. DE INGENIEROS INFORMÁTICOS
Otros Centros implicados
Web
babel.ls.fi.upm.es
E-mail
gi.babel@upm.es
Teléfono
91 336 37 49
Fax
Acrónimo
Estado del grupo
Consolidado
Memorias de Investigación
Año: 2006
Año: 2007
Año: 2008
Año: 2009
Año: 2010
Año: 2011
Año: 2012
Año: 2013
Año: 2014
Año: 2015
Año: 2016
Año: 2017
Año: 2018
Año: 2019
Ver Evolución Anual
9 Investigadores UPM asociados
CATEDRATICO UNIVERSIDAD
Juan Jose Moreno Navarro
E.T.S. de Ingenieros Informáticos
(Lenguajes y Sistemas Informáticos e Ingeniería de Software (N))
L.D. PRF.COLABORADOR
Angel Herranz Nieva
E.T.S. de Ingenieros Informáticos
(Lenguajes y Sistemas Informáticos e Ingeniería de Software (N))
L.D. PRF.CONTR.DOCT. R.A.
Lars-Ake Fredlund
E.T.S. de Ingenieros Informáticos
(Lenguajes y Sistemas Informáticos e Ingeniería de Software (N))
I3
CONTRATADO DE INVESTIGACION (OTROS)
Alvaro Garcia Perez
E.T.S. de Ingenieros Informáticos
(Lenguajes y Sistemas Informaticos e Ingenieria de Software)
TITULAR UNIVERSIDAD
Damiano Zanardini
E.T.S. de Ingenieros Informáticos
(Inteligencia Artificial (N))
L.D. PRF.CONTR.DOCT.
Clara Benac Earle
E.T.S. de Ingenieros Informáticos
(Lenguajes y Sistemas Informáticos e Ingeniería de Software (N))
Julio Mariño Carballo
E.T.S. de Ingenieros Informáticos
(Lenguajes y Sistemas Informáticos e Ingeniería de Software (N))
Susana Muñoz Hernandez
E.T.S. de Ingenieros Informáticos
(Lenguajes y Sistemas Informáticos e Ingeniería de Software (N))
Guillermo Roman Diez
E.T.S. de Ingenieros Informáticos
(Lenguajes y Sistemas Informáticos e Ingeniería de Software (N))
Areas de Conocimiento asociadas
CC. DE COMPUTACION E INTELIGENCIA ARTIFICIAL
Grupo: SEMEPRO: Seguridad y Mejora de Procesos
Grupo: Grupo de Computación Natural
Grupo: Grupo de Geomática y Geodesia Espacial
Grupo: Ontology Engineering Group
Grupo: Visión por Computador y Robótica Aérea
Grupo: Electrónica Industrial
Grupo: Grupo de Validación y Aplicaciones Industriales
Grupo: Ciencias de la Computación en la Educación y en la Representación del Conocimiento
Grupo: Grupo de Investigación en Tecnología Informática y de las Comunicaciones: CETTICO
Grupo: Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP)
Grupo: Grupo de Simulación Numérica en Ciencias e Ingeniería
Grupo: Agentes Inteligentes y Computación Ubicua
Grupo: Intelligent Systems for Social learning and Virtual Environments
Grupo: Grupo de Automatización en Señal y Comunicaciones (GASC)
Grupo: Applied Intelligence and Data Analysis Group (AIDA)
Grupo: Grupo de Investigación en nutrición, ejercicio y estilo de vida saludable. ImFINE
Grupo: COSTA (Verification, Analysis and Transformation)
Grupo: Grupo en Tecnología Electrónica Aplicada (GTEA)
Grupo: Aplicación de las TIC a los procesos de enseñanza-aprendizaje
Grupo: Grupo de Modelización Matemática y Biocomputación
Grupo: Minería de Datos y Simulación (MIDAS)
Grupo: Laboratorio de sistemas distribuidos (LSD)
Grupo: MERCATOR: Tecnologías de la GeoInformación y Sistemas Inteligentes
Grupo: Sistemas Singulares e Inversas Generalizadas
Grupo: Grupo de Informática Biomédica (GIB)
Grupo: Grupo de análisis de decisiones y estadística
Grupo: Fundamentos Matemáticos para Soft Computing
Grupo: Grupo de Inv. en Seguridad e Impacto Medioambiental de Vehículos y Transportes (GIVET)
Grupo: Grupo de Sistemas Inteligentes
Grupo: TI Aplicadas a la Ingeniería Agronómica
Grupo: Grupo de Inteligencia Artificial (LIA)
Grupo: Grupo de Investigación en Ingeniería y Aplicaciones del Láser
Grupo: Grupo de investigación en Información y Computación Cuántica (GIICC)
Grupo: Ingeniería del Software
Grupo: Abordajes Multidisciplinares en la Interfaz Planta-Microorganismo
Grupo: Grupo de Biometría, Bioseñales, Seguridad y Smart Mobility
Grupo: KNOwledge Discovery and Information Systems (KNODIS)
Grupo: Polinomios Ortogonales y Geometría Fractal
Grupo: Hidroinformática y Gestión del Agua
Grupo: Interacción Persona Ordenador y Sistemas Interactivos Avanzados
Grupo: Tecnologías de Apoyo a la Vida
Grupo: Data Mining Engineering (DaME) Ingeniería de Minería de datos
Grupo: Computational Intelligence Group
LENGUAJES Y SISTEMAS INFORMATICOS
Grupo: SEMEPRO: Seguridad y Mejora de Procesos
Grupo: Grupo de Computación Natural
Grupo: Ontology Engineering Group
Grupo: Grupo de Validación y Aplicaciones Industriales
Grupo: Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP)
Grupo: COSTA (Verification, Analysis and Transformation)
Grupo: Applied Intelligence and Data Analysis Group (AIDA)
Grupo: Grupo de Investigación en Tecnología Informática y de las Comunicaciones: CETTICO
Grupo: Agentes Inteligentes y Computación Ubicua
Grupo: Intelligent Systems for Social learning and Virtual Environments
Grupo: Grupo de Modelización Matemática y Biocomputación
Grupo: Grupo de Señal Fotónica
Grupo: MERCATOR: Tecnologías de la GeoInformación y Sistemas Inteligentes
Grupo: Laboratorio de sistemas distribuidos (LSD)
Grupo: Minería de Datos y Simulación (MIDAS)
Grupo: Engineering education for a sustainable world, based on IoT
Grupo: Laboratorio de Sistemas Autónomos
Grupo: Internet de Nueva Generación
Grupo: Ingeniería del Software
Grupo: Grupo de investigación en Información y Computación Cuántica (GIICC)
Grupo: Grupo de tecnología de software y sistemas
Grupo: Polinomios Ortogonales y Geometría Fractal
Grupo: KNOwledge Discovery and Information Systems (KNODIS)
Grupo: Data Mining Engineering (DaME) Ingeniería de Minería de datos
Grupo: Computational Intelligence Group
Grupo: Sistemas Telemáticos para la Sociedad de la Información y el conocimiento
Lineas
Linea
Investigador responsable
Especificación, diseño y programación con componentes software
Especificación, desarrollo, verificación y validación en aplicaciones
Tecnología y Sistemas de programación Declarativa
Tecnologías de desarrollo de Software fiable de alta calidad
• TOMA DE DATOS DE MEMORIAS Y CV
• UPM.ES
S2i 2022 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)