Contact

Johannes Kepler University Linz
Integrated Circuit and System Design
Univ.-Prof. Dr. Robert Wille
Altenberger Straße 69 | SCP3 0405
4040 Linz | Austria
robert.wille@jku.at
Tel: +43 732 2468 4739

Map and directions to JKU

DI Lukas Burgholzer

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

  1. 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.
  2. L. Burgholzer and R. Wille. Advanced Equivalence Checking for Quantum Circuits. Pre-print arXiv:2004.08420
  3. 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
  4. 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
  5. 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
  6. 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
  7. 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. 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"