Observatorio de I+D+i UPM

Grupo de Investigaci�n: Computaci�n l�gica, Lenguajes, Implementaci�n y Paralelismo (CLIP)

Investigador Responsable

Escuela UPM

E.T.S. DE INGENIEROS INFORM�TICOS

Otros Centros implicados

Web

E-mail

gi.clipupm.es

Tel�fono

Acr�nimo

CLIP

Estado del grupo

Consolidado

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

L.D. PROF. PERMANENTE LABORAL
Jose Francisco Morales Caballero	E.T.S. de Ingenieros Inform�ticos (Inteligencia Artificial)

DOCTOR CONTRATADO PROGRAMA OFICIAL
Nikolaus Guyon Swoboda .	E.T.S. de Ingenieros Inform�ticos (Inteligencia Artificial)	I3

CATEDRATICO UNIVERSIDAD
Manuel de Hermenegildo Salinas	E.T.S. de Ingenieros Inform�ticos (Inteligencia Artificial)

TITULAR UNIVERSIDAD
Manuel Carro Li�ares	E.T.S. de Ingenieros Inform�ticos (Lenguajes y Sistemas Inform�ticos e Ingenier�a de Software)

Lineas	Investigador responsable
Certificaci�n de c�digo m�vil
Computaci�n distribuidad y paralela, consciente de los recursos
Dise�o e implementaci�n de lenguajes declarativos y multiparadigma
An�lisis est�tico y transformaci�n autom�tica de programas
Herramientas de depuraci�n y verificaci�n de programas
Compilaci�n optimizante, m�quinas abstrcatas, concurrencia.