Research Group: Computational logic, Languages, Implementation and Parallelism (CLIP)

Scientific production
Main Researcher

UPM Centre
E.T.S. DE INGENIEROS INFORMÁTICOS

Other UPM Centres

Web

E-mail
gi.clipupm.es

Phone

Acronym
CLIP

Group type
Consolidado
4 UPM Researchers
L.D. PROF. PERMANENTE LABORAL

Jose Francisco Morales Caballero

E.T.S. de Ingenieros Informáticos (Inteligencia Artificial)
L.D. PRF.CONTR.DOCT. R.A.

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)
Knowledge areas
Lines
Lines Responsible researcher
Certification of mobile code
Distributed and parallel computing, aware of resources
Design and implementation of declarative and multi-paradigm languages
Static Analysis and Automatic Program Transformation
Debugging tools and program verification
Improved compilation, abstract machines, concurrency.