DI Lukas Burgholzer
PhD Student (LIT Secure and Correct Systems Lab)
Science Park 4, 3rd floor, room 327
Phone: +43 732 2468 9536
lukas.burgholzer@jku.at
Tutorials
- 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
- R. Wille, S. Hillmich, and L. Burgholzer. Effcient and Correct Compilation of Quantum Circuits. In IEEE International Symposium on Circuits and Systems, 2020. PDF
Journals
- R. Wille, S. Hillmich, and L. Burgholzer. Tools for Quantum Computing Based on Decision Diagrams. ACM Transactions on Quantum Computing (TQC), 2021. arXiv
- L. Burgholzer, R. Wille. QCEC: A JKQ tool for quantum circuit equivalence checking. Software Impacts, 2021. PDF
- L. Burgholzer, R. Wille. Advanced Equivalence Checking for Quantum Circuits. IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD), 2021. PDF
Conferences
- L. Burgholzer, H. Bauer, and R. Wille. Hybrid Schrödinger-Feynman Simulation of Quantum Circuits With Decision Diagrams. In 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, 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 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
- 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
Peer-Reviewed Workshops
- R. Wille, S. Hillmich, and L. Burgholzer. JKQ: JKU Tools for Quantum Computing. In International Workshop on Programming Languages for Quantum Computing (PLanQC 2021), 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.
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" |