

DI Lukas Burgholzer
PhD Student (LIT Secure and Correct Systems Lab)
LIT Open Innovation Center
Phone: +43 732 2468 9536
lukas.burgholzer@jku.at
Conferences
- 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.
- L. Burgholzer and R. Wille. Advanced Equivalence Checking for Quantum Circuits. Pre-print arXiv:2004.08420
- 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 Special Session at IEEE International Symposium on Circuits and Systems (ISCAS), 2020. PDF
- T. Grurl, J. Fuß, S. Hillmich, L. Burgholzer, 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
- 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" |