Verifying the Results of Quantum Circuit Compilation Flows


Date
24 Sep 20
Location
Virtual IWQC
Lukas Burgholzer
Lukas Burgholzer
PhD Student

My research interests include design automation for quantum computing, decision diagrams, and in particular equiavalence checking of quantum circuits

Related