Observatorio de I+D+i UPM

• ESPAÑOL • ENGLISH

INVESTIGADORES

ESTRUCTURAS DE I+D+I

ACTIVIDAD INVESTIGADORA

INNOVACIÓN

/ 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

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))

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.

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))

CONTRATADO DE INVESTIGACION (OTROS)

Alvaro Garcia Perez

E.T.S. de Ingenieros Informáticos
(Lenguajes y Sistemas Informaticos e Ingenieria de Software)

CATEDRATICO UNIVERSIDAD

Juan Jose Moreno Navarro

E.T.S. de Ingenieros Informáticos
(Lenguajes y Sistemas Informáticos e Ingeniería de Software (N))

TITULAR UNIVERSIDAD

Damiano Zanardini

E.T.S. de Ingenieros Informáticos
(Inteligencia Artificial (N))

Areas de Conocimiento asociadas

CC. DE COMPUTACION E INTELIGENCIA ARTIFICIAL

Grupo: Grupo de Inteligencia Artificial (LIA)
Grupo: Sistemas Singulares e Inversas Generalizadas
Grupo: Ciencias de la Computación en la Educación y en la Representación del Conocimiento
Grupo: Hidroinformática y Gestión del Agua
Grupo: Polinomios Ortogonales y Geometría Fractal
Grupo: Electrónica Industrial
Grupo: Data Mining Engineering (DaME) Ingeniería de Minería de datos
Grupo: Grupo de Validación y Aplicaciones Industriales
Grupo: Ontology Engineering Group
Grupo: Fundamentos Matemáticos para Soft Computing
Grupo: COSTA (Verification, Analysis and Transformation)
Grupo: Grupo en Tecnología Electrónica Aplicada (GTEA)
Grupo: Ingeniería del Software
Grupo: Computational Intelligence Group
Grupo: Interacción Persona Ordenador y Sistemas Interactivos Avanzados
Grupo: Intelligent Systems for Social learning and Virtual Environments
Grupo: KNOwledge Discovery and Information Systems (KNODIS)
Grupo: Grupo de Automatización en Señal y Comunicaciones (GASC)
Grupo: Minería de Datos y Simulación (MIDAS)
Grupo: Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP)
Grupo: Applied Intelligence and Data Analysis Group (AIDA)
Grupo: Visión por Computador y Robótica Aérea
Grupo: Grupo de Simulación Numérica en Ciencias e Ingeniería
Grupo: MERCATOR: Tecnologías de la GeoInformación y Sistemas Inteligentes
Grupo: Grupo de Investigación en Tecnología Informática y de las Comunicaciones: CETTICO
Grupo: Grupo de Sistemas Inteligentes
Grupo: TI Aplicadas a la Ingeniería Agronómica
Grupo: Agentes Inteligentes y Computación Ubicua
Grupo: Abordajes Multidisciplinares en la Interfaz Planta-Microorganismo
Grupo: Laboratorio de sistemas distribuidos (LSD)
Grupo: Grupo de Informática Biomédica (GIB)
Grupo: SEMEPRO: Seguridad y Mejora de Procesos
Grupo: Tecnologías de Apoyo a la Vida
Grupo: Grupo de Inv. en Seguridad e Impacto Medioambiental de Vehículos y Transportes (GIVET)
Grupo: Grupo de Investigación en nutrición, ejercicio y estilo de vida saludable. ImFINE
Grupo: Grupo de Geomática y Geodesia Espacial
Grupo: Grupo de Modelización Matemática y Biocomputación
Grupo: Grupo de Investigación en Ingeniería y Aplicaciones del Láser
Grupo: Grupo de Biometría, Bioseñales, Seguridad y Smart Mobility
Grupo: Aplicación de las TIC a los procesos de enseñanza-aprendizaje
Grupo: Grupo de Computación Natural
Grupo: Grupo de investigación en Información y Computación Cuántica (GIICC)
Grupo: Grupo de análisis de decisiones y estadística

LENGUAJES Y SISTEMAS INFORMATICOS

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 INNCIDE 2011 (OTR-2011-0236)

Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)