Dr. Lukas Burgholzer
Postdoc
Arcisstrasse 21, 3rd floor, room 3932
Phone: +49 (89) 289 - 23552
lukas.burgholzer@tum.de
Go to: Publications, Curriculum Vitae
Publications
Book Chapters
- R. Wille, S. Hillmich, and L. Burgholzer. Decision Diagrams for Quantum Computing. In R. O. Topaloglu, editor, Design Automation of Quantum Computers. Springer, 2023. arXiv:2302.04687, DOI, PDF.
- R. Wille and L. Burgholzer. Verification of Quantum Circuits. In A. Chattopadhyay, editor, Handbook of Computer Architecture. Springer, 2022. DOI.
Tutorials, Special Sessions, etc.
- M. Schulz, L. Schulz, R. Wille, J. Echavarria, and L. Burgholzer. Quantum Software Stacks: Overview, Requirements and Experiences. In IEEE International Conference on Quantum Computing and Engineering (QCE). 2025.
- L. Burgholzer, N. Quetschlich, and R. Wille. Connecting the HPC and the Quantum Community: A Tutorial on High-Performance Software for Quantum Computing. In International Conference for High Performance Computing, Networking, Storage and Analysis (SC). 2024.
- L. Burgholzer, J. Echavarria, M. Schulz, L. Schulz, and R. Wille. Building Efficient Software Stacks for Quantum Computers: Experiences from the Munich Quantum Software Stack. In IEEE International Conference on Quantum Computing and Engineering (QCE). 2024.
- R. Wille, L. Burgholzer, S. Hillmich, T. Grurl, A. Ploier, and T. Peham. The Basis of Design Tools for Quantum Computing: Arrays, Decision Diagrams, Tensor Networks, and ZX-Calculus. In Design Automation Conference (DAC). 2022. PDF.
- R. Wille, L. Burgholzer, and M. Artner. Visualizing Decision Diagrams for Quantum Computing. In Design, Automation and Test in Europe (DATE). 2021. PDF.
- R. Wille, S. Hillmich, and L. Burgholzer. JKQ: JKU Tools for Quantum Computing. In International Conference on Computer Aided Design (ICCAD). 2020. PDF.
Journals
- A. Sander, L. Burgholzer, and R. Wille. Equivalence checking of quantum circuits via intermediary matrix product operator. Physical Review Research, 2025. arXiv:2408.11894, DOI, PDF.
- L. Burgholzer, Y. Stade, T. Peham, and R. Wille. MQT Core: The backbone of the Munich Quantum Toolkit (MQT). Journal of Open Source Software, 2025. DOI.
- L. Burgholzer, A. Jimenez-Pastor, K. G. Larsen, M. Tribastone, M. Tschaikowski, and R. Wille. Forward and backward constrained bisimulations for quantum circuits using decision diagrams. ACM Transactions on Quantum Computing, 2025. DOI.
- L. Berent, L. Burgholzer, PJ. Derks, J. Eisert, and R. Wille. Decoding quantum color codes with MaxSAT. Quantum, 2024. DOI.
- N. Quetschlich, L. Burgholzer, and R. Wille. MQT Bench: Benchmarking Software and Design Automation Tools for Quantum Computing. Quantum, 2023. arXiv:2204.13719, DOI, PDF.
- S. Adarsh, L. Burgholzer, T. Manjunath, and R. Wille. SyReC Synthesizer: An MQT tool for synthesis of reversible circuits. Software Impacts, 2022. DOI.
- T. Peham, L. Burgholzer, and R. Wille. Equivalence Checking of Quantum Circuits with the ZX-Calculus. Journal of Emerging and Selected Topics in Circuits and Systems (JETCAS), 2022. PDF.
- L. Burgholzer, A. Ploier, and R. Wille. Simulation Paths for Quantum Circuit Simulation with Decision Diagrams: What to Learn from Tensor Networks, and What Not. IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD), 2022. PDF.
- L. Burgholzer, R. Wille, and R. Kueng. Characteristics of Reversible Circuits for Error Detection. Array, 2022. PDF.
- R. Wille, S. Hillmich, and L. Burgholzer. Tools for Quantum Computing Based on Decision Diagrams. ACM Transactions on Quantum Computing, 2021. DOI.
- L. Burgholzer and R. Wille. QCEC: A JKQ Tool for Quantum Circuit Equivalence Checking. Software Impacts, 2021. DOI.
- L. Burgholzer and R. Wille. Advanced Equivalence Checking for Quantum Circuits. IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD), 2021. PDF.
Conferences
- D. Rovara, L. Burgholzer, and R. Wille. Automatically Refining Assertions for Efficient Debugging of Quantum Programs. In IEEE International Conference on Quantum Computing and Engineering (QCE). 2025. PDF.
- D. Rovara, L. Burgholzer, and R. Wille. A Framework for Debugging Quantum Programs. In IEEE International Conference on Quantum Software (QSW). 2025. PDF.
- L. S. Herzog, L. Burgholzer, C. Ufrecht, D. D. Scherer, and R. Wille. Joint cutting for hybrid schroedinger-feynman simulation of quantum circuits. In Design Automation Conference (DAC). 2025. Acceptance rate: 23%. PDF.
- Y. Stade, L. Schmid, L. Burgholzer, and R. Wille. Optimal State Preparation for Logical Arrays on Zoned Neutral Atom Quantum Computers. In Design, Automation and Test in Europe (DATE). 2025. Acceptance rate: 32%. arXiv:2411.09738, DOI, PDF.
- E. Kaya, J. Echavarria, M. N. Farooqi, A. Swierkowska, P. Hopf, B. Mete, L. Burgholzer, R. Wille, L. Schulz, and M. Schulz. A software platform to support disaggregated quantum accelerators. In Workshops of the International Conference for High Performance Computing, Networking, Storage and Analysis. 2024. DOI.
- Y. Stade, L. Schmid, L. Burgholzer, and R. Wille. An Abstract Model and Efficient Routing for Logical Entangling Gates on Zoned Neutral Atom Architectures. In IEEE International Conference on Quantum Computing and Engineering (QCE). 2024. arXiv:2405.08068, DOI, PDF.
- S. Jiang, T.-W. Huang, R. Fu, L. Burgholzer, R. Wille, and T.-Y. Ho. FlatDD: A High-Performance Quantum Circuit Simulator using Decision Diagrams and Flat Array. In International Conference on Parallel Processing (ICPP). 2024.
- R. Wille, L. Berent, T. Forster, J. Kunasaikaran, K. Mato, T. Peham, N. Quetschlich, D. Rovara, A. Sander, L. Schmid, D. Schoenberger, Y. Stade, and L. Burgholzer. The MQT Handbook: A Summary of Design Automation Tools and Software for Quantum Computing. In IEEE International Conference on Quantum Software (QSW). 2024. Invited Paper. arXiv:2405.17543, DOI, PDF.
- N. Quetschlich, F. J. Kiwit, M. A. Wolf, C. A. Riofrio, L. Burgholzer, A. Luckow, and Robert Wille. Towards Application-Aware Quantum Circuit Compilation. In IEEE International Conference on Quantum Software (QSW). 2024. arXiv:2404.12433, PDF.
- A. Sander, L. Burgholzer, and Robert Wille. Stripping Quantum Decision Diagrams of Their Identity. In IEEE International Conference on Quantum Software (QSW). 2024. Received Best Student Paper Award. arXiv:2406.11959, PDF.
- T. Peham, N. Brandl, R. Kueng, R. Wille, and L. Burgholzer. Depth-Optimal Synthesis of Clifford Circuits with SAT Solvers. In IEEE International Conference on Quantum Computing and Engineering (QCE). 2023. PDF.
- A. Sander, L. Burgholzer, and R. Wille. Towards Hamiltonian Simulation with Decision Diagrams. In IEEE International Conference on Quantum Computing and Engineering (QCE). 2023. arXiv:2305.02337, PDF.
- N. Quetschlich, V. Koch, L. Burgholzer, and R. Wille. A Hybrid Classical Quantum Computing Approach to the Satellite Mission Planning Problem. In IEEE International Conference on Quantum Computing and Engineering (QCE). 2023. arXiv:2308.00029, PDF.
- N. Quetschlich, L. Burgholzer, and R. Wille. Reducing the Compilation Time of Quantum Circuits Using Pre-Compilation on the Gate Level. In IEEE International Conference on Quantum Computing and Engineering (QCE). 2023. arXiv:2305.04941, PDF.
- N. Quetschlich, L. Burgholzer, and R. Wille. Compiler Optimization for Quantum Computing Using Reinforcement Learning. In Design Automation Conference (DAC). 2023. Acceptance rate: 23%. arXiv:2212.04508, PDF.
- N. Quetschlich, L. Burgholzer, and R. Wille. Predicting Good Quantum Circuit Compilation Options. In IEEE International Conference on Quantum Software (QSW). 2023. arXiv:2210.08027, PDF.
- B. Poggel, N. Quetschlich, L. Burgholzer, R. Wille, and J. Lorenz. Recommending Solution Paths for Solving Optimization Problems with Quantum Computing. In IEEE International Conference on Quantum Software (QSW). 2023. arXiv:2212.11127, PDF.
- N. Quetschlich, L. Burgholzer, and R. Wille. Towards an Automated Framework for Realizing Quantum Computing Solutions. In International Symposium on Multiple-Valued Logic (ISMVL). 2023. arXiv:2210.14928, PDF.
- R. Wille and L. Burgholzer. MQT QMAP: Efficient Quantum Circuit Mapping. In International Symposium on Physical Design (ISPD). 2023. Invited Paper. PDF.
- T. Peham, L. Burgholzer, and R. Wille. Equivalence Checking of Parameterized Quantum Circuits: Verifying the Compilation of Variational Quantum Algorithms. In Asia and South Pacific Design Automation Conference (ASP-DAC). 2023. Acceptance rate: 31%. PDF.
- L. Berent, L. Burgholzer, and R. Wille. Software Tools for Decoding Quantum Low-Density Parity Check Codes. In Asia and South Pacific Design Automation Conference (ASP-DAC). 2023. Acceptance rate: 31%. arXiv:2209.01180.
- L. Burgholzer and R. Wille. Exploiting Reversible Computing for Verification: Potential, Possible Paths, and Consequences. In Asia and South Pacific Design Automation Conference (ASP-DAC). 2023. Acceptance rate: 31%. PDF.
- S. Schneider, L. Burgholzer, and R. Wille. A SAT Encoding for Optimal Clifford Circuit Synthesis. In Asia and South Pacific Design Automation Conference (ASP-DAC). 2023. Acceptance rate: 31%, Best Paper Award Candidate. PDF.
- L. Berent, L. Burgholzer, and R. Wille. Towards a SAT Encoding for Quantum Circuits: A Journey From Classical Circuits to Clifford Circuits and Beyond. In International Conference on Theory and Applications of Satisfiability Testing (SAT). 2022. PDF.
- S. Hillmich, L. Burgholzer, F. Stögmüller, and R. Wille. Reordering Decision Diagrams for Quantum Computing Is Harder Than You Might Think. In Conference on Reversible Computation (RC). 2022. PDF.
- L. Burgholzer and R. Wille. Handling Non-Unitaries in Quantum Circuit Equivalence Checking. In Design Automation Conference (DAC). 2022. Acceptance rate: 23%. PDF.
- T. Peham, L. Burgholzer, and R. Wille. Equivalence checking paradigms in quantum circuit design: A case study. In Design Automation Conference (DAC). 2022. Acceptance rate: 23%. PDF.
- L. Burgholzer, A. Ploier, and R. Wille. Exploiting Arbitrary Paths for the Simulation of Quantum Circuits with Decision Diagrams. In Design, Automation and Test in Europe (DATE). 2022. Acceptance rate: 34%. PDF.
- L. Burgholzer, S. Schneider, and R. Wille. Limiting the Search Space in Optimal Quantum Circuit Mapping. In Asia and South Pacific Design Automation Conference (ASP-DAC). 2022. Acceptance rate: 36%. PDF.
- L. Burgholzer, H. Bauer, and R. Wille. Hybrid Schrödinger-Feynman Simulation of Quantum Circuits With Decision Diagrams. In IEEE International Conference on Quantum Computing and Engineering (QCE). 2021. PDF.
- L. Burgholzer, R. Raymond, I. Sengupta, and R. Wille. Efficient Construction of Functional Representations for Quantum Algorithms. In Conference on Reversible Computation (RC). 2021. PDF.
- L. Burgholzer, R. Kueng, and R. Wille. Random Stimuli Generation for the Verification of Quantum Circuits. In Asia and South Pacific Design Automation Conference (ASP-DAC). 2021. Acceptance rate: 34%. PDF.
- L. Burgholzer, R. Raymond, and R. Wille. Verifying Results of the IBM Qiskit Quantum Circuit Compilation Flow. In IEEE International Conference on Quantum Computing and Engineering (QCE). 2020. PDF.
- L. Burgholzer and R. Wille. The Power of Simulation for Equivalence Checking in Quantum Computing. In Design Automation Conference (DAC). 2020. Acceptance rate: 23%. PDF.
- R. Wille, S. Hillmich, and L. Burgholzer. Efficient and Correct Compilation of Quantum Circuits. In IEEE International Symposium on Circuits and Systems (ISCAS). 2020. PDF.
- T. Grurl, J. Fuß, L. Burgholzer, S. Hillmich, and R. Wille. Arrays vs. Decision Diagrams: A Case Study on Quantum Circuit Simulators. In International Symposium on Multiple-Valued Logic (ISMVL). 2020. PDF.
- L. Burgholzer and R. Wille. Improved DD-based Equivalence Checking of Quantum Circuits. In Asia and South Pacific Design Automation Conference (ASP-DAC). 2020. Acceptance rate: 34%. PDF.
- R. Wille, L. Burgholzer, and A. Zulehner. Mapping Quantum Circuits to IBM QX Architectures Using the Minimal Number of SWAP and H Operations. In Design Automation Conference (DAC). 2019. Acceptance rate: 25%. PDF.
Preprints
- L. Burgholzer, J. Echavarria, P. Hopf, Y. Stade, D. Rovara, L. Schmid, E. Kaya, B. Mete, M. N. Farooqi, M. Chung, M. De Pascale, L. Schulz, M. Schulz, and R. Wille. The Munich Quantum Software Stack: Connecting End Users, Integrating Diverse Quantum Technologies, Accelerating HPC. 2025. arXiv:2509.02674, PDF.
- D. Rovara, L. Burgholzer, and R. Wille. A Framework for the Efficient Evaluation of Runtime Assertions on Quantum Computers. 2025. arXiv:2505.03885, PDF.
Peer Reviewed Workshops
- Y. Stade, L. Burgholzer, and R. Wille. Towards Supporting QIR: Steps for Adopting the Quantum Intermediate Representation. In Workshops of the International Conference for High Performance Computing, Networking, Storage and Analysis (SC). 2025. Acceptance rate: 41%. arXiv:2411.18682, DOI, PDF.
- Y. Stade, L. Burgholzer, P. Hopf, D. Rovara, and R. Wille. Learning from the Classical Realm: Leveraging MLIR for a Modular Quantum Compilation Infrastructure. In Gesellschaft für Informatik Quantum Computing Workshop (GI QC). 2025.
- Y. Stade, L. Schmid, L. Burgholzer, and R. Wille. Compiler Development for Neutral Atom Quantum Computers. In International Workshop on Quantum Compilation (IWQC). 2024.
- L. Burgholzer and R. Wille. MQT: The Munich Quantum Toolkit. In Gesellschaft für Informatik Quantum Computing Workshop (GI QC). 2024.
- D. Rovara, N. Quetschlich, L. Burgholzer, and R. Wille. Supporting End-Users in Realizing Quantum Computing Applications. In Workshop on Quantum Software (WQS). 2024.
- Robert Wille, Stefan Hillmich, and Lukas Burgholzer. MQT: The Munich Quantum Toolkit. In Gesellschaft für Informatik Quantum Computing Workshop (GI QC). 2022.
- R. Wille, S. Hillmich, and L. Burgholzer. JKQ: JKU Tools for Quantum Computing. In International Workshop on Programming Languages for Quantum Computing (PLanQC). 2021. PDF.
- L. Burgholzer and R. Wille. Verifying the Results of Quantum Circuit Compilation Flows. In International Workshop on Quantum Compilation (IWQC). 2020.
- S. Hillmich, L. Burgholzer, and R. Wille. Efficient and Correct Compilation of Quantum Circuits. In International Workshop on Quantum Compilation (IWQC). 2019.
Curriculum Vitae
Personal Data
| Name: | Lukas Burgholzer |
| Nationality: | Austrian |
Education
| High School, Linz, Austria | |
| 10/2013–12/2016 | Bachelor's Degree in Technical Mathematics, Johannes Kepler University Linz, Austria |
| Bachelor’s Thesis: "Structure-Acoustic Coupling" | |
| 01/2017–10/2018 | Master's Degree in Industrial Mathematics, Johannes Kepler University Linz, Austria |
| Master’s Thesis: "Predictive Control for Trucks" | |
| 10/2016–07/2019 | Bachelor's Degree in Computer Science, Johannes Kepler University Linz, Austria |
| Bachelor’s Thesis: "Optimal Mapping of Quantum Circuits to the IBM QX Architectures" |
