Diseñar y realizar aplicaciones de computación cuántica de forma escalable requiere herramientas de software automatizadas, eficientes y fáciles de usar que satisfagan las necesidades de los usuarios finales, los ingenieros y los físicos. Muchos de los problemas que hay que abordar son similares a los problemas de diseño del ámbito clásico para los que se han desarrollado sofisticadas herramientas de automatización del diseño en las últimas décadas. El Munich Quantum Toolkit (MQT) es una colección de herramientas de software de código abierto para la informática cuántica desarrollada por la Cátedra de Automatización del Diseño de la TUM, que utiliza esta experiencia en automatización del diseño para ofrecer soluciones a las tareas de diseño en toda la pila de software cuántico. Esto implica un soporte de alto nivel para los usuarios finales, métodos eficientes para la simulación clásica, la compilación y la verificación de circuitos cuánticos, herramientas para la corrección cuántica de errores y mucho más. En esta charla se tratarán algunos aspectos destacados del amplio espectro del MQT y de su historia.

Lukas Burgholzer es postdoctorando en la Cátedra de Automatización del Diseño de la Universidad Técnica de Múnich. Se doctoró en Informática en la JKU de Linz (Austria) bajo la supervisión de Robert Wille. Su investigación se centra en la automatización del diseño y el software para la informática cuántica. Es el principal desarrollador y encargado del mantenimiento del Munich Quantum Toolkit (MQT) y dirige el desarrollo técnico del Munich Quantum Software Stack (MQSS), un esfuerzo del Munich Quantum Valley para construir un ecosistema de computación cuántica de pila completa.