Observatorio de I+D+i UPM

• ESPAÑOL • ENGLISH

RESEARCH ACTIVITIES

/ Grupos de Investigación

Research Group

BABEL Research Group: Programming Languages and Reliable Software

Main Researcher

Julio Mariño Carballo

UPM Centre

E.T.S. DE INGENIEROS INFORMÁTICOS

Other UPM Centres

Web

babel.ls.fi.upm.es

E-mail

gi.babel@upm.es

Phone

91 336 37 49

Fax

Acronym

Group type

Consolidado

Annual Research Reports

Year: 2006

Year: 2007

Year: 2008

Year: 2009

Year: 2010

Year: 2011

Year: 2012

Year: 2013

Year: 2014

Year: 2015

Year: 2016

Year: 2017

Ver Evolución Anual

9 UPM Researchers

L.D. PRF.AYUD.DOCTOR

Guillermo Roman Diez

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

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

TITULAR UNIVERS. INTERINO

Julio Mariño Carballo

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))
Susana Muñoz Hernandez	E.T.S. de Ingenieros Informáticos (Lenguajes y Sistemas Informáticos e Ingeniería de Software (N))

Knowledge areas

CC. DE COMPUTACION E INTELIGENCIA ARTIFICIAL

Grupo: Grupo de Computación Natural
Grupo: SEMEPRO: Seguridad y Mejora de Procesos
Grupo: Grupo de Geomática y Geodesia Espacial
Grupo: Visión por Computador y Robótica Aérea
Grupo: Ontology Engineering Group
Grupo: Grupo de Investigación en nutrición, ejercicio y estilo de vida saludable. ImFINE
Grupo: Grupo de Investigación en Tecnología Informática y de las Comunicaciones: CETTICO
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 Simulación Numérica en Ciencias e Ingeniería
Grupo: Grupo de Automatización en Señal y Comunicaciones (GASC)
Grupo: Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP)
Grupo: Intelligent Systems for Social learning and Virtual Environments
Grupo: Agentes Inteligentes y Computación Ubicua
Grupo: COSTA (Verification, Analysis and Transformation)
Grupo: Laboratorio de sistemas distribuidos (LSD)
Grupo: Aplicación de las TIC a los procesos de enseñanza-aprendizaje
Grupo: Minería de Datos y Simulación (MIDAS)
Grupo: Grupo de Modelización Matemática y Biocomputación
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: Fundamentos Matemáticos para Soft Computing
Grupo: Grupo de análisis de decisiones y estadística
Grupo: Grupo de Inv. en Seguridad e Impacto Medioambiental de Vehículos y Transportes (GIVET)
Grupo: Ingeniería del Software
Grupo: Grupo de Inteligencia Artificial (LIA)
Grupo: Grupo de Sistemas Inteligentes
Grupo: TI Aplicadas a la Ingeniería Agronómica
Grupo: Grupo de Investigación en Ingeniería y Aplicaciones del Láser
Grupo: Teoría de Aproximación Constructiva y Aplicaciones
Grupo: Grupo de investigación en Información y Computación Cuántica (GIICC)
Grupo: BIOLOGÍA MOLECULAR Y COMPUTACIONAL
Grupo: Grupo de Biometría, Bioseñales, Seguridad y Smart Mobility
Grupo: Interacción Persona Ordenador y Sistemas Interactivos Avanzados
Grupo: Hidroinformática y Gestión del Agua
Grupo: Data Mining Engineering (DaME) Ingeniería de Minería de datos
Grupo: Computational Intelligence Group
Grupo: Tecnologías de Apoyo a la Vida

LENGUAJES Y SISTEMAS INFORMATICOS

Lines

Linea	Investigador responsable
Specification, design and programming with software components
Specification, development, verification and validation in applications
Power/energy consumption optimization on multimedia terminals
Software Development Technologies Reliable high quality

• TOMA DE DATOS DE MEMORIAS Y CV • UPM.ES

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