Lukas Burgholzer

Lukas Burgholzer

PhD Student

Johannes Kepler University Linz


I am a PhD student with a Master’s degree in Mathematics and a Bachelor’s degree in Computer Science. In my work, I am combining my expertise from both domains to develop design automation methods for quantum computing. My research focusses on classical simulation, compilation and, in particular, verification methods for quantum circuits.


  • Design Automation for Quantum Computing
  • Decision Diagrams
  • Equivalence Checking of Quantum Circuits


  • Bachelor's Degree in Computer Science, 2019

    Johannes Kepler University Linz

  • Master's Degree in Industrial Mathematics, 2018

    Johannes Kepler University Linz

  • Bachelor's Degree in Mathematics, 2016

    Johannes Kepler University Linz

Recent Publications



University Assistant

Johannes Kepler University Linz

May 2019 – Present Austria
Working on design automation for quantum computing at the Institute for Integrated Circuits and the LIT Secure and Correct Systems Lab

Graduate Research Associate


Oct 2018 – Apr 2019 Linz, Austria
Worked on multi-body-dynamics of (automotive) combustion engines, transmissions and drive-trains - especially, high speed rotor dynamics.