Quantum Software and Quantum Programming

Register Now

Quantum computing holds great promise for tackling computational problems that are beyond the reach of classical computers. However, realizing this potential requires overcoming a key challenge: translating high-level quantum algorithms into efficient implementations that can run on today’s quantum hardware.

This workshop will explore recent advances in quantum software and programming languages that help bridge this gap, including methods for quantum program design, optimization, simulation, and verification. Drawing on results from the ODAQS project, participants will gain insight into emerging tools and methodologies that aim to make quantum software development more efficient, reliable, and scalable.

Bringing together researchers from quantum computing, programming languages, and related fields, the workshop will provide a forum for discussing current challenges, sharing recent results, and exploring future directions for quantum software research.

Participation is free of charge, but registration is necessary: Registration link

Deadline: 30 September

Date: 14 October 2026
Time: 11:00–15:15 CEST
Venue: AIAS, Høegh-Guldbergs Gade 6B, 8000 Aarhus, building 1632, room 201 (auditorium)

Program

NOTE: program subject to change

11:00–11:10: Opening Speech
Co-Founder and CSO Nikolaj Thomas Zinner, Kvantify

11:10–11:20: Introduction to ODAQS
Professor Jaco van de Pol, Department of Computer Science, Aarhus University

11:20–11:50: Demonstration of Kvantify Qrunch
Lead Quantum Applications & Research Scientist Patrick Ettenhuber, Kvantify

11:50–12:15: Quantum Circuit Optimization Procedures with Q-Synth
Professor Jaco van de Pol, Department of Computer Science, Aarhus University

12:15–13:15: Lunch

13:15–13:45: Agentic and Symbolic Tools to Optimize Hardware-Aligned Circuit Primitives
Quantum Research Engineer Irfansha Shaik, Kvantify

13:45–14:15: Clifford Circuit Synthesis for Quantum Chemistry Applications
Principal Quantum Research Engineer Søren Fuglede Jørgensen, Kvantify

14:15–14:45: Quantum Circuits for Spin-Adapted Fermionic Operators
Assistant Professor Erik Kjellgren, Department of Physics, Chemistry and Pharmacy, University of Southern Denmark

14:55–15:15: Verification and Validation of Quantum Programs
Professor Kim Guldstrand Larsen, Department of Computer Science, Aalborg University

15:15–16:15: Closing and Drinks