Antonio García de la Barrera Amo, miembro del grupo de investigación Alarcos, ha comenzado su tesis doctoral en el contexto del proyecto “QSERV – Testing y Aseguramiento de la Calidad del Software Cuántico”.
En su investigación centrará sus esfuerzos principalmente en el desarrollo de técnicas y herramientas orientadas a la QSE (Quantum Software Engineering), orientadas al proceso de testing de circuitos cuánticos.
Esta tesis se está llevando a cabo en la Universidad de Castilla-La Mancha, dentro del programa de doctorado Tecnologías Informáticas Avanzadas”
Hasta el momento, se han dado ya algunos pasos incipientes donde se ha explorado la “re-definición” del concepto de caso de prueba a nivel de circuito cuántico (en su faceta determinista), y del cual ha resultado una publicación en la pasada JISBD: “Generación automática de circuitos de prueba para la verificación de algoritmos cuánticos deterministas”.