Premio nacional para un trabajo de fin de máster del Instituto IMDEA Software

El trabajo de fin de máster, titulado “Code Search: A Semantic, Abstract Interpretation-Based Approach”, ataca el problema de encontrar código de ordenador para su reutilización. La originalidad del trabajo radica en que la búsqueda no se limita a localizar palabras o caracteres, como en un procesador de texto, sino que es posible pedir propiedades del código, como si en un procesador de texto pudiésemos pedir “encuentra frases que hablen del olor de la comida”, de forma mucho más cercana a como piensa un programador. Este trabajo fue publicado en la prestigiosa revista Theory and Practice of Logic Programming, teniendo como coautores a José Morales Caballero (investigador del Instituto IMDEA Software) y Manuel Hermenegildo Salinas (catedrático de la UPM y actual director del Instituto IMDEA Software).

SISTEDES, uno de los patrocinadores del premio, es la Sociedad de Ingeniería del Software y Tecnología de Desarrollo de Software. Su objetivo es contribuir al desarrollo del país en las áreas de Ingeniería y Desarrollo del Software y promover la investigación y la transferencia de tecnología en estas áreas. Accenture Technology es una empresa dedicada a prestar servicios tecnológicos de carácter específico con una extensa red de centros de desarrollo en España. La entrega del premio se realizará en la reunión anual de SISTEDES que tendrá lugar en julio de 2017 durante las Jornadas Científicas que la asociación organiza cada año.

El Instituto IMDEA Software es uno de los siete Institutos IMDEA auspiciados por la Comunidad de Madrid cuyo propósito es realizar investigación puntera en sus respectivos campos. El Instituto IMDEA Software se dedica a la investigación en tecnologías viables en la práctica para el desarrollo de software fiable y eficiente, para lo que cuenta con financiación de la Comunidad de Madrid, de subvenciones públicas y de cofinanciación privada a través de numerosos contratos con la participación de empresas.