The International Conference on the Art, Science, and Engineering of Programming (‹Programming› 2024)

Del 11 al 15 de marzo de 2024, tuvo lugar en Lund (Suecia) el Segundo Taller Internacional sobre el Arte, la Ciencia y la Ingeniería de la Programación Cuántica (<Programming> 2024). 

Este taller  proporciona una plataforma para investigadores y profesionales interesados en diversos aspectos de la programación cuántica y su relación con la programación clásica para discutir los desafíos de la investigación, las posibles soluciones y las direcciones futuras de la investigación.

El investigador Juan M. Murillo de la UEx, presentó el trabajo titulado «Shifting Quantum Circuits Languages Abstraction Level with Composable Quantum Oracles»

En dicho trabajo se propone el desarrollo de oráculos cuánticos que implementen operaciones sobre tipos de datos. Si dichos oráculos son reutilizables y componibles, entonces los programadores tendrán acceso a operaciones de abstracción de nivel superior para conceptualizar y codificar sus soluciones. El objetivo fue el de presentar esta dirección de investigación a la audiencia, describir los resultados logrados hasta el momento y describir el trabajo futuro que surja a partir de este punto.

Segunda reunión presencial del proyecto Q-Serv en Ciudad Real

El jueves 21 de marzo se celebró la segunda reunión de coordinación presencial del proyecto en Ciudad Real. El objetivo de esta reunión fue poner en común los avances y las ideas de los diferentes miembros del proyecto y planificar los siguientes pasos.

Durante la reunión, se presentaron los avances técnicos de las universidades de Extremadura (UEx) y de Castilla-La Mancha (UCLM), así como de la propia Universidad de Deusto. Además, se hizo una revisión de los trabajos en marcha y se planificaron las próximas publicaciones conjuntas. 

La reunión se desarrolló siguiendo un programa previamente establecido que permitió abordar todos los temas pendientes en la mañana que duró el encuentro. 

Desde el equipo del proyecto Q-Serv queremos agradecer a la Universidad de Castilla-La Mancha por la acogida y las facilidades que nos ofreció durante la estancia.

Jornada de Divulgación Sobre Computación Cuántica (Argentina)

El Laboratorio de Investigación y Formación en Informática Avanzada (LIFIA), el Instituto de Física de La Plata (IFLP) y la Red Iberoamericana para el Avance de la Ingeniería de Software Cuántico (RIPAISC) han organizado una jornada de difusión y discusión sobre la computación cuántica. Esta jornada ha tenido lugar el 21 de marzo de 2024 en la Facultad de Informática de La Universidad de la Plata.

Esta jornada ha contado con la participación de desarrolladores en el campo de la computación cuántica, entre ellos José Manuel García Alonso de la Universidad de Extremadura, quien ha aportado su experiencia y conocimientos en esta área.

Más información de la jornada en su página web: https://lifia.info.unlp.edu.ar/2024/03/14/entendiendo-la-computacion-cuantica-2/

The 3rd International Workshop on Quantum Software Analysis, Evolution and Reengineering (Q-SANER 2024)

Del 12 al 15 de marzo de 2024, ha tenido lugar en Rovaniemi (Finlandia) el 3er Workshop Internacional sobre Análisis, Evolución y Reingeniería de Software Cuántico (Q-SANER 2024), dentro de la conferencia internacional SANER

El workshop Q-SANER se centra en particular en los aspectos de análisis, evolución y reingeniería del software cuántico (incluidos los circuitos) de QSE. Además, también cubre otros aspectos relacionados del software cuántico, es decir, análisis de software, evolución y reingeniería de compiladores de software cuántico, emuladores de computadoras cuánticas y entornos de desarrollo de software cuántico.

Durante dicho workshop, el nodo de la UEx ha presentado varios trabajos en colaboración con diversas universidades, como la Universidad de Pisa, Universidad de Jyväskylä o la Universidad de Málaga. 

Concretamente, los trabajos titulados «From Quantum Software Handcrafting to Quantum Software Engineering«, «Quirk+: A Tool for Quantum Software Development Based on Quirk» y el trabajo titulado «Liquifying Quantum-Classical Software-Intensive System of Systems«. 

Más información en la web de la conferencia: https://conf.researchr.org/home/saner-2024 

Publicación artículo «Enabling continuous deployment techniques for quantum services»

Nos enorgullece anunciar que el artículo desarrollado por el nodo de la UEx, Enabling continuous deployment techniques for quantum services, ha sido publicado en la revista Software: Practice and Experience.

Software: Practice and Experience es una revista respetada internacionalmente y rigurosamente arbitrada para la difusión y discusión de experiencias prácticas con técnicas y herramientas nuevas y establecidas, tanto para sistemas como para aplicaciones de software. 

El estudio publicado presenta una estrategia de despliegue continuo adaptada al desarrollo de servicios cuánticos que cubre la creación y el despliegue de dichos servicios. Para ello se propone una extensión de la especificación OpenAPI, que permite generar servicios que implementen algoritmos cuánticos.

El investigador Juan M. Murillo miembro de la Unidad de Excelencia SCORE

El investigador Juan M. Murillo ha sido invitado a formar parte de la UNIDAD DE EXCELENCIA SCORE como miembro personal permanente. 

SCORE (Smart Computer Systems Research and Engineering Lab) es una reconocida Unidad de Excelencia de la Universidad de Sevilla desde julio de 2017. SCORE se dedica a la investigación en cuatro líneas principales: computación natural, ingeniería neuromórfica, sistemas de información e ingeniería de software y servicios. Recientemente, la Unidad ha recibido un incentivo por parte de la Junta de Andalucía para consolidar sus actividades y aumentar sus posibilidades de éxito en convocatorias competitivas, como la reconocida María de Maeztu.

La invitación a Juan M. Murillo como miembro personal permanente es un reconocimiento a su colaboración previa con algunos miembros de SCORE, y se espera que su participación contribuya al crecimiento y éxito continuo de la Unidad.

Como miembro personal permanente de SCORE, Juan M. Murillo podrá participar en actividades de formación, asistir a eventos organizados por la Unidad, colaborar en proyectos y publicaciones, acceder a facilidades disponibles, obtener acreditación de su actividad en SCORE y disfrutar de los beneficios y derechos asociados a este estatus.

Para más información de esta Unidad de Excelencia está disponible en su página web: https://score.us.es/

 

El proyecto QSERV, premiado por el COIICLM como mejor proyecto de Innovación I+D+i

 

Nuestro compañero Ignacio García Rodríguez de Guzmán, como IP del proyecto QSERV- Ingeniería de servicios cuánticos: desarrollo, calidad, pruebas y seguridad ha recogido el premio en la categoría “Proyecto de Innovación I+D+i” en los X Premios de Informática del Colegio Oficial de Ingeniería Informática de Castilla La Mancha COIICLM en su edición de 2023.

El acto de entrega de premios se celebró el pasado 27 de noviembre en el Hotel Doña Carlota de Ciudad Real, y el COIICLM valoró el ámbito innovador y disruptor de QSERV, como un proyecto que trata de promover la importancia de la Ingeniería del Software Cuántico, dado el impacto que tendría el paradigma de la computación cuántica en un futuro muy cercano.

International Conference on Service-Oriented Computing (ICSOC 2023)

 

Del 28 de noviembre al 1 de diciembre de 2023, se ha celebrado en Roma (Italia) la 21.ª edición de la Conferencia Internacional sobre Computación Orientada a Servicios (ICSOC), 

Esta conferencia es el principal foro internacional para académicos, investigadores de la industria, desarrolladores y profesionales para informar y compartir trabajos innovadores en computación orientada a servicios. El ICSOC fomenta la excelencia científica entre comunidades reuniendo a expertos de diversas disciplinas, como ciencia de servicios, ciencia de datos, ciencia de la gestión, gestión de procesos empresariales, sistemas distribuidos, informática inalámbrica y móvil, informática en la nube y en el borde, sistemas ciberfísicos, Internet. de las cosas (IoT), flujos de trabajo científicos, inteligencia artificial, aprendizaje automático e ingeniería de software y servicios.

En esta conferencia cabe destacar el Workshop titulado Services and Quantum Software (SQS), el cual se centra en el campo de la ingeniería de software cuántica y su integración con los sistemas de software clásicos, siendo uno de los organizadores Juan M. Murillo de la Universidad de Extremadura. 

Además, en esta conferencia, Javier Romero-Álvarez de la Universidad de Extremadura impartió el tutorial titulado «Quantum Services: A Tutorial on the Technology and the Process«. Este tutorial proporciona una descripción general del proceso de transformación de algoritmos cuánticos en servicios web. Explica cómo estos servicios cuánticos se pueden implementar de manera efectiva, específicamente a través de la plataforma Amazon Braket para computación cuántica, y cómo se pueden invocar a través de puntos finales de servicios web clásicos. Este tutorial no solo presenta la metodología paso a paso, sino que también brinda información sobre las mejores prácticas para una implementación exitosa a través de un proceso de desarrollo. Destaca el uso de una versión extendida de la especificación OpenAPI, junto con las capacidades de automatización simplificadas que ofrecen GitHub Actions, que desempeñan un papel clave en la mejora de la eficiencia durante las fases de desarrollo e implementación.

Keynote titulada “Testing de Software Cuántico: técnicas y herramientas” en la conferencia CONISOFT 2023

El pasado 7 de Noviembre, Ignacio García Rodríguez de Guzmán, miembro del Grupo de Investigación Alarcos, presentó la Keynote titulada “Testing de Software Cuántico: técnicas y herramientas”, en el contexto de la XI International Conference in Software Engineering Research and Innovation (CONISOFT 2023).

En esta charla, se analizó el estado de la cuestión sobre el avance del proceso de testing del software cuántico en el contexto de la Ingeniería del Software Cuántico, y se presentaron algunas propuestas novedosas en cuanto al testing de distintos tipos de circuitos cuánticos. Del mismo modo, se presentó QuantumPath ®, un entorno real para la realización de proyectos de desarrollo de software cuántico que sigue los principios de la Ingeniería del Software Cuántico, llevando a cabo sobre el mismo un caso de estudio desarrollando y testeando un circuito cuántico.

Finalmente, durante la charla se tuvo la oportunidad de conversar sobre diversos aspectos a tener en cuenta para el aprendizaje del desarrollo de software cuántico, siempre desde el paraguas de la Ingeniería del Software Cuántico.

Curso de «Introducción al desarrollo de Software Cuántico 2023» (Sevilla)

Del 14 al 17 de noviembre de 2023, miembros de la Universidad de Extremadura, José Garcia Alosno y Juan M. Murillo, están impartiendo el curso titulado «Introducción al desarrollo de Software Cuántico» en la Escuela Técnica Superior de Ingeniería Informática – Sevilla. 

El objetivo del curso es presentar los principios fundamentales del desarrollo del software cuántico y capacitar a los alumnos para iniciarse en el desarrollo de sistemas cuánticos.

Las competencias generales y específicas que los alumnos adquieren a lo largo el curso son:

– Conocer los fundamentos del desarrollo de software cuántico.

– Conocer las principales puertas cuánticas y su uso.

– Conocer las principales aplicaciones del software cuántico actual.

– Conocer el uso de algoritmos cuánticos en software orientado a servicios.

– Ser capaz de utilizar las herramientas disponibles actualmente tanto de simulación como de acceso a computadores cuánticos reales.

– Ser capaz de desarrollar software cuántico básico para alguna de las plataformas actuales.

Para más información visitar la página web del curso