Researchers from quantum computing and programming languages will convene this October to address a central challenge in the field: efficiently implementing complex algorithms on current quantum hardware. The workshop, informed by results from the ODAQS project, will showcase emerging tools designed to make quantum software development more scalable and reliable.
Kvantify co-founder and CSO Nikolaj Thomas Zinner will open the event, which aims to bridge the gap between theoretical quantum concepts and practical application. Participants will gain insight into optimization and verification methodologies, with presentations from Aarhus University, University of Southern Denmark, and Aalborg University researchers.
ODAQS Project Insights into Efficient Quantum Implementations
Kvantify will demonstrate its Qrunch software at a workshop on October 14, 2026, showcasing a tool designed to optimize quantum applications for current hardware. Lead Quantum Applications & Research Scientist Patrick Ettenhuber will lead the demonstration, providing attendees with a practical view of optimization techniques informed by the ODAQS project. Professor Jaco van de Pol of Aarhus University will present quantum circuit optimization procedures utilizing Q-Synth, building on research originating from the ODAQS project.
Van de Pol will also deliver an introductory overview of the ODAQS project itself, outlining its goals and key findings. Irfansha Shaik, a Quantum Research Engineer at Kvantify will detail agentic and symbolic tools aimed at optimizing hardware-aligned circuit primitives, addressing a critical bottleneck in quantum computation.
The workshop’s scope extends beyond circuit optimization; Principal Quantum Research Engineer Søren Fuglede Jørgensen will present Clifford circuit synthesis for quantum chemistry applications, while Assistant Professor Erik Kjellgren from the University of Southern Denmark will discuss quantum circuits for spin-adapted fermionic operators. Professor Kim Guldstrand Larsen of Aalborg University’s Department of Computer Science will conclude the technical sessions with a presentation on verification and validation methodologies for quantum programs, stating the need for robust testing as quantum systems scale.
See today’s quantum computing news on Quantum Zeitgeist for the latest breakthroughs in qubits, hardware, algorithms, and industry deals.
