Lukas Burgholzer is a postdoctoral researcher at the Technical University of Munich’s Chair for Design Automation. He received his PhD from JKU Linz in Austria under the supervision of Prof. Dr. Robert Wille. He is developing design automation tools and software for quantum computing. Specifically, his research mainly focuses on classical simulation, compilation, and verification of quantum circuits.