The Power of Simulation for Equivalence Checking in Quantum Computing


Date
24 Jul 20
Location
Virtual DAC
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