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