Contact

Johannes Kepler University Linz
Integrated Circuit and System Design
Univ.-Prof. Dr. Robert Wille
Altenberger Straße 69 | SCP4 0331
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)

Science Park 4, 3rd floor, room 327
Phone: +43 732 2468 9536
lukas.burgholzer@jku.at

Tutorials

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

Journals

  1. L. Burgholzer, R. Wille. QCEC: A JKQ tool for quantum circuit equivalence checking. Software Impacts, 2021. PDF
  2. 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

  1. L. Burgholzer, R. Raymond, I. Sengupta, and R. Wille. Efficient Construction of Functional Representations for Quantum Algorithms. In Conference on Reversible Computation, 2021. PDF
  2. L. Burgholzer, R. Kueng, R. Wille. Random Stimuli Generation for the Verification of Quantum Circuits. Asia and South Pacific Design Automation Conference, 2021. Acceptance rate: 34%. PDF
  3. 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
  4. 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
  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. L. Burgholzer and R. Wille. Verifying the Results of Quantum Circuit Compilation Flows. In International Workshop on Quantum Compilation (IWQC), 2020.
  2. 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"