{"id":532,"count":0,"description":"Las l&iacute;neas de investigaci&oacute;n en las que se basa nuestro trabajo son las siguientes:\n&nbsp;\n\nCertificaci&oacute;n de c&oacute;digo m&oacute;vil\nComputaci&oacute;n distribuida y paralela, consciente de los recursos\nDise&ntilde;o e implementaci&oacute;n de lenguajes declarativos y multiparadigma\nAn&aacute;lisis est&aacute;tico y transformaci&oacute;n autom&aacute;tica de programas\nHerramientas de depuraci&oacute;n y verificaci&oacute;n de programas\nCompilaci&oacute;n optimizante, m&aacute;quinas abstractas, concurrencia\n","link":"https:\/\/www.upm.es\/recursosidi\/map\/computacion-logica-lenguajes-implementacion-y-paralelismo-clip\/","name":"Computaci\u00f3n l\u00f3gica, Lenguajes, Implementaci\u00f3n y Paralelismo (CLIP)","slug":"computacion-logica-lenguajes-implementacion-y-paralelismo-clip","taxonomy":"donde","parent":0,"meta":[],"id_grupo_portal":"326","acronimo":"CLIP","resumen":"<p class=\"MsoNormal\" style=\"margin-bottom: .0001pt; text-align: justify; line-height: normal;\"><span style=\"font-family: verdana,geneva; font-size: small;\">Somos un grupo de investigadores de la ETSI Inform&aacute;ticos de la UPM y del <a href=\"http:\/\/www.software.imdea.org\/es\/index.html\">Instituto IMDEA Software<\/a> (el Instituto Madrile&ntilde;o de Estudios Avanzados en Tecnolog&iacute;as de Desarrollo de Software).<\/span><\/p>","imagen":false,"responsable":"Manuel De Hermenegildo Salinas","lineas":"An\u00e1lisis est\u00e1tico y transformaci\u00f3n autom\u00e1tica de programas\nCertificaci\u00f3n de c\u00f3digo m\u00f3vil\nCompilaci\u00f3n optimizante, m\u00e1quinas abstrcatas, concurrencia.\nComputaci\u00f3n distribuidad y paralela, consciente de los recursos\nDise\u00f1o e implementaci\u00f3n de lenguajes declarativos y multiparadigma\nHerramientas de depuraci\u00f3n y verificaci\u00f3n de programas","direccion":"","telefono":"910672893","pagina_web":"http:\/\/www.cliplab.org\/","email":"gi.clip@upm.es","actividades":"<p><span style=\"font-family: verdana,geneva; font-size: small;\">El Grupo de Computaci&oacute;n l&oacute;gica, Lenguajes, Implementaci&oacute;n y Paralelismo lleva m&aacute;s de 25 a&ntilde;os de actividad investigadora en temas relacionados con el avance en los fundamentos, el an&aacute;lisis y la implementaci&oacute;n de lenguajes de programaci&oacute;n declarativos, la verificaci&oacute;n y depuraci&oacute;n est&aacute;tica de programas, el aprovechamiento eficiente y sencillo de las arquitecturas paralelas y distribuidas, la extensi&oacute;n de dichos lenguajes a nuevos paradigmas de computaci&oacute;n (p.ej., de restricciones, con agentes, m&oacute;vil, etc.) y la aplicaci&oacute;n industrial de la investigaci&oacute;n realizada a diversos campos pr&aacute;cticos.<\/span><\/p>\r\n<p><span style=\"font-family: verdana, geneva; font-size: small;\">El grupo desarrolla el sistema de programaci&oacute;n multiparadigma Ciao, software libre bajo licencia LGPL, con numerosos usuarios industriales y acad&eacute;micos a nivel internacional. El grupo ha participado en m&aacute;s de 50 proyectos de investigaci&oacute;n europeos, grupos de trabajo, redes tem&aacute;ticas y otros proyectos internacionales, nacionales, e industriales.<\/span><\/p>","contenido":"","pictures":"http:\/\/www.upm.es\/observatorio\/vi\/gestor_general\/recuperar_archivo.jsp?id=1051\rhttp:\/\/www.upm.es\/observatorio\/vi\/gestor_general\/recuperar_archivo.jsp?id=1052","descripcion":"<p>Las l&iacute;neas de investigaci&oacute;n en las que se basa nuestro trabajo son las siguientes:<\/p>\r\n<ul>\r\n<li>Herramientas de depuraci&oacute;n, verificaci&oacute;n y certificaci&oacute;n de programas, incluidas propiedades o funcionales (energ&iacute;a, tiempo, memoria, etc.).<\/li>\r\n<li>Verificaci&oacute;n y dertificaci&oacute;n de contratos inteligentes.<\/li>\r\n<li>Dise&ntilde;o e implementaci&oacute;n de lenguajes declarativos y multiparadigma<\/li>\r\n<li>An&aacute;lisis est&aacute;tico y transformaci&oacute;n autom&aacute;tica de programas<\/li>\r\n<li>Computaci&oacute;n paralela y distribuida, consciente de los recursos.<\/li>\r\n<li>Paralelizaci&oacute;n autom&aacute;tica de programas.<\/li>\r\n<li>Compilaci&oacute;n optimizante, evaluaci&oacute;n parcial, m&aacute;quinas abstractas, concurrencia.<\/li>\r\n<\/ul>","resultados_protegidos":"","servicios_innovacion":"","ods":[{"imagen":{"ID":"3498","post_author":"1","post_date":"2020-01-17 08:52:02","post_date_gmt":"2020-01-17 07:52:02","post_content":"","post_title":"S-WEB-Goal-09","post_excerpt":"","post_status":"inherit","comment_status":"open","ping_status":"closed","post_password":"","post_name":"s-web-goal-09","to_ping":"","pinged":"","post_modified":"2020-01-17 09:03:49","post_modified_gmt":"2020-01-17 08:03:49","post_content_filtered":"","post_parent":"0","guid":"http:\/\/www.upm.es\/recursosidi\/wp-content\/uploads\/2020\/01\/S-WEB-Goal-09.png","menu_order":"0","post_type":"attachment","post_mime_type":"image\/png","comment_count":"0","ura_post_type":null,"pod_item_id":"3498"},"term_id":2247,"name":"Industria, Innovaci\u00f3n e Infraestructura","slug":"industria-innovacion-e-infraestructura","description":"","taxonomy":"ods","parent":[],"term_taxonomy_id":2247,"term_group":0,"count":171,"id":2247}],"areas":[{"imagen":{"ID":"5864","post_author":"1","post_date":"2020-04-21 13:16:59","post_date_gmt":"2020-04-21 11:16:59","post_content":"","post_title":"robotica","post_excerpt":"","post_status":"inherit","comment_status":"open","ping_status":"closed","post_password":"","post_name":"robotica","to_ping":"","pinged":"","post_modified":"2020-04-21 13:17:12","post_modified_gmt":"2020-04-21 11:17:12","post_content_filtered":"","post_parent":"0","guid":"http:\/\/www.upm.es\/recursosidi\/wp-content\/uploads\/2020\/04\/robotica.jpg","menu_order":"0","post_type":"attachment","post_mime_type":"image\/jpeg","comment_count":"0","ura_post_type":null,"pod_item_id":"5864"},"term_id":126,"name":"Tecnolog\u00edas digitales, Inteligencia Artificial, ciberseguridad, 5G, rob\u00f3tica","slug":"tecnologias_digitales-ai-ciberseguridad-5g-robotica","description":"","taxonomy":"mapa","parent":[],"term_taxonomy_id":126,"term_group":0,"count":194,"id":126},{"imagen":{"ID":"5857","post_author":"1","post_date":"2020-04-21 13:10:21","post_date_gmt":"2020-04-21 11:10:21","post_content":"","post_title":"clima","post_excerpt":"","post_status":"inherit","comment_status":"open","ping_status":"closed","post_password":"","post_name":"clima","to_ping":"","pinged":"","post_modified":"2020-04-21 13:10:36","post_modified_gmt":"2020-04-21 11:10:36","post_content_filtered":"","post_parent":"0","guid":"http:\/\/www.upm.es\/recursosidi\/wp-content\/uploads\/2020\/04\/clima.jpg","menu_order":"0","post_type":"attachment","post_mime_type":"image\/jpeg","comment_count":"0","ura_post_type":null,"pod_item_id":"5857"},"term_id":133,"name":"Clima, Energ\u00eda y Movilidad","slug":"clima-energia-movilidad","description":"","taxonomy":"mapa","parent":[],"term_taxonomy_id":133,"term_group":0,"count":129,"id":133}],"rrss":"","palabras_clave":[{"term_id":3335,"name":"blockchain","slug":"blockchain","description":"","taxonomy":"product_tag","parent":[],"term_taxonomy_id":3335,"term_group":0,"count":0,"id":3335},{"term_id":3336,"name":"certificaci\u00f3n","slug":"certificacion","description":"","taxonomy":"product_tag","parent":[],"term_taxonomy_id":3336,"term_group":0,"count":0,"id":3336},{"term_id":3337,"name":"contratos inteligentes","slug":"contratos-inteligentes","description":"","taxonomy":"product_tag","parent":[],"term_taxonomy_id":3337,"term_group":0,"count":0,"id":3337},{"term_id":2306,"name":"energ\u00eda","slug":"energia","description":"","taxonomy":"product_tag","parent":[],"term_taxonomy_id":2306,"term_group":0,"count":14,"id":2306},{"term_id":3338,"name":"paralelizaci\u00f3n","slug":"paralelizacion","description":"","taxonomy":"product_tag","parent":[],"term_taxonomy_id":3338,"term_group":0,"count":0,"id":3338},{"term_id":1926,"name":"computaci\u00f3n","slug":"computacion","description":"","taxonomy":"product_tag","parent":[],"term_taxonomy_id":1926,"term_group":0,"count":0,"id":1926},{"term_id":3116,"name":"concurrencia","slug":"concurrencia","description":"","taxonomy":"product_tag","parent":[],"term_taxonomy_id":3116,"term_group":0,"count":0,"id":3116},{"term_id":2609,"name":"programaci\u00f3n","slug":"programacion","description":"","taxonomy":"product_tag","parent":[],"term_taxonomy_id":2609,"term_group":0,"count":0,"id":2609},{"term_id":3117,"name":"software libre","slug":"software-libre","description":"","taxonomy":"product_tag","parent":[],"term_taxonomy_id":3117,"term_group":0,"count":0,"id":3117},{"term_id":2517,"name":"verificaci\u00f3n","slug":"verificacion","description":"","taxonomy":"product_tag","parent":[],"term_taxonomy_id":2517,"term_group":0,"count":4,"id":2517}],"infraestructura":false,"acf":[],"lang":"es","translation":{"es":532,"en":1756},"_links":{"self":[{"href":"https:\/\/www.upm.es\/recursosidi\/wp-json\/wp\/v2\/donde\/532"}],"collection":[{"href":"https:\/\/www.upm.es\/recursosidi\/wp-json\/wp\/v2\/donde"}],"about":[{"href":"https:\/\/www.upm.es\/recursosidi\/wp-json\/wp\/v2\/taxonomies\/donde"}],"wp:post_type":[{"href":"https:\/\/www.upm.es\/recursosidi\/wp-json\/wp\/v2\/product?donde=532"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}