PROMESAS
Program in Methods for the Development of Dependable, High-Quality, and Secure Software
(PROgrama en MÉtodos para el Desarrollo de Software Fiable, de Alta Calidad y Seguro)
English     |     Español
mid
About
  Global Summary
  Keywords
  Objectives
  Activities
  Research Groups
  Other Aspects
Research
Industrial Participation
People
Talks & Events
Open Positions
Poster
Brochure
Institutional Links
Contact Us
Support
Comunidad de Madrid EU flag

CLIP Group (UPM)

The CLIP Group: Computational Logic, Languages, Implementation and Parallelism, a desginated UPM research group, has been active for more than fifteen years since its foundation in 1989 by its leader, Manuel Hermenegildo. Its main areas include foundations, analysis and implementation of declarative programming languages, efficient and simple use of parallel and distributed architectures, extension of the above mentioned languages to new programing paradigms (e.g., constraints, agents, mobility, etc.) and the industrial application of the research carried out to diverse practical areas.

The group develop the Ciao multi-paradigm programming system (free software licensed under the LGPL) with numerous industrial and academic applications internationally. The group has been involved in more than 25 current and past European research projects, working groups, thematic networks, and other international and domestic projects.

Also, it has organized several international conferences, and has hosted more than 35 international researchers for periods that range from several days to several months. Furthermore, the group has collaborated with several companies in different projects, in technology transfer activities. These contacts include: Software AG España, Motorola Inc. (USA), Iberdrola, PrologIA (France), Ibermática, Open Source Architecture, Dalet (Israel), and Conecta (Italy).

More information on the research group and the Ciao system can be found in the CLIP group website.

< Back to Research Groups

contact the webmaster