I am a researcher in Quantum Software. This concerns programs running on quantum computers and the design-automation tools to construct such quantum programs. I am interested in high-level quantum programming languages, compiler techniques, and algorithms for automated synthesis, optimization, verification, and simulation of quantum programs.
Currently, my main focus is on Quantum Circuit Optimization.
Quantum circuits specify the exact operations performed on qubits. Each extra operation increases the running time and causes additional noise. Quantum circuit optimization not only increases accuracy on today's noisy machines but also reduces the costly overhead of quantum error correction, which is needed for future fault-tolerant quantum computers.
I am using algorithms and techniques from Computer Science: automated planning, SAT solving, high-performance graph algorithms, and formal verification.
We are Hiring!!
Currently, we have several fully funded PhD and Postdoc positions in Quantum Software (compilation, optimization, verification).
Contact me as soon as possible if you are interested.
Find more information about the
positions.
Apply directly to the PhD position
or the Postdoc position
(deadline Feb 1st, 2026. Expected starting date May 1st, 2026).
Recent News
I was mentioned "Outstanding PC member" by the PC chairs of ECAI 2025!
Our 2-PhD project on "Optimal Implementation of Quantum Error Correction" got funding from the NNF Quantum Computing Programme
(joint with NQCP and AU Dept. of Physics).
My PhD project "QoptiQ: Quest for Optimal Quantum Circuits" got approved by the
Danish Quantum Algorithms Acadamy in DEiC.
Together with Andreas Pavlogiannis, we organized CONFEST 2025 in Aarhus!
Together with Patricia Bouyer, we co-chaired CONCUR 2025 in Aarhus! The
proceedings are online!
Distinguished Paper Award at ECOOP 2023 with Magnus Madsen for "Programming with Purity Reflection: Peaceful Coexistence of Effects, Laziness, and Parallelism"
Our project "Automated Planning for Quantum Circuit Optimization" got approved by Innovationsfonden Denmark.
After his PhD defense, Irfansha Shaik has started as a postdoc at Kvantify.
Editorial board SCP
(Science of Computer Programming)
Editorial board STTT
(Software Tools and Technology Transfer)
Member of the Steering Committee SPIN Symposium on Model Checking Software
Member (Chair 2018-2022) of the Steering Committee of FMICS,
the ERCIM working group on Formal Methods in Industrial Critical Systems
PC co-chair of
appFM 2021, 1st IW on Applicable Formal Methods (Beijing, China), with Mario Gleirscher and Jim Woodcock.
Proceedings available as: EPTCS 349
