Contact

Technical University of Munich
School of Computation, Information and Technology
Chair for Design Automation
Prof. Dr. Robert Wille
Arcisstrasse 21
80333 Munich | Germany
robert.wille@tum.de
Tel: +49 89 289 23551

Google Maps Navigation

The Chair for Design Automation is supported by the Bavarian State Ministry for Science and Arts through the Distinguished Professorship Program.

Der Lehrstuhl für Design Automation wird durch das Bayerische Staatsministerium für Wissenschaft und Kunst im Rahmen des Spitzenprofessurenprogramms gefördert.

Bavarian Coat of Arms

Dr. Lukas Burgholzer
Dr. Lukas Burgholzer
Postdoc

Arcisstrasse 21, 3rd floor, room 3932
Phone: +49 (89) 289 - 23552
lukas.burgholzer@tum.de

Book Chapters

  1. 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.
  1. R. Wille and L. Burgholzer. Verification of Quantum Circuits. In A. Chattopadhyay, editor, Handbook of Computer Architecture. Springer, 2022. DOI.

Tutorials, Special Sessions, etc.

  1. 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.
  1. R. Wille, L. Burgholzer, and M. Artner. Visualizing Decision Diagrams for Quantum Computing. In Design, Automation and Test in Europe (DATE). 2021. PDF.
  1. R. Wille, S. Hillmich, and L. Burgholzer. JKQ: JKU Tools for Quantum Computing. In International Conference on Computer Aided Design (ICCAD). 2020. PDF.

Journals

  1. 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.
  1. T. Peham, L. Burgholzer, and R. Wille. On Optimal Subarchitectures for Quantum Circuit Mapping. ACM Transactions on Quantum Computing, 2023. DOI, PDF.
  1. S. Adarsh, L. Burgholzer, T. Manjunath, and R. Wille. SyReC Synthesizer: An MQT tool for synthesis of reversible circuits. Software Impacts, 2022. DOI.
  1. 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.
  1. 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.
  1. L. Burgholzer, R. Wille, and R. Kueng. Characteristics of Reversible Circuits for Error Detection. Array, 2022. PDF.
  1. R. Wille, S. Hillmich, and L. Burgholzer. Tools for Quantum Computing Based on Decision Diagrams. ACM Transactions on Quantum Computing, 2021. DOI.
  1. L. Burgholzer and R. Wille. QCEC: A JKQ Tool for Quantum Circuit Equivalence Checking. Software Impacts, 2021. DOI.
  1. 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

  1. 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.
  1. 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.
  1. 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.
  1. 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.
  1. 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.
  1. 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.
  1. 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.
  1. 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.
  1. R. Wille and L. Burgholzer. MQT QMAP: Efficient Quantum Circuit Mapping. In International Symposium on Physical Design (ISPD). 2023. Invited Paper. PDF.
  1. 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.
  1. 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.
  1. 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.
  1. 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.
  1. 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.
  1. 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.
  1. L. Burgholzer and R. Wille. Handling Non-Unitaries in Quantum Circuit Equivalence Checking. In Design Automation Conference (DAC). 2022. Acceptance rate: 23%. PDF.
  1. 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.
  1. 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.
  1. 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.
  1. 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.
  1. 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.
  1. 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.
  1. 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.
  1. 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.
  1. 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.
  1. 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.
  1. L. Burgholzer and R. Wille. Improved Equivalence Checking of Quantum Circuits. In Asia and South Pacific Design Automation Conference (ASP-DAC). 2020. Acceptance rate: 34%. PDF.
  1. 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.

Peer Reviewed Workshops

  1. Robert Wille, Stefan Hillmich, and Lukas Burgholzer. MQT: The Munich Quantum Toolkit. In Gesellschaft für Informatik Quantum Computing Workshop (GI QC). 2022.
  1. 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.
  1. L. Burgholzer and R. Wille. Verifying the Results of Quantum Circuit Compilation Flows. In International Workshop on Quantum Compilation (IWQC). 2020.
  1. S. Hillmich, L. Burgholzer, and R. Wille. Efficient and Correct Compilation of Quantum Circuits. In International Workshop on Quantum Compilation (IWQC). 2019.

Personal Data

Name:Lukas Burgholzer
Nationality:Austrian

Education

09-2008–07/2012High School, Linz, Austria
10/2013–12/2016Bachelor's Degree in Technical Mathematics, Johannes Kepler University Linz, Austria
Bachelor’s Thesis: "Structure-Acoustic Coupling"
01/2017–10/2018Master's Degree in Industrial Mathematics, Johannes Kepler University Linz, Austria
Master’s Thesis: "Predictive Control for Trucks"
10/2016–07/2019Bachelor's Degree in Computer Science, Johannes Kepler University Linz, Austria
Bachelor’s Thesis: "Optimal Mapping of Quantum Circuits to the IBM QX Architectures"