Random Stimuli Generation for the Verification of Quantum Circuits


Date
21 Jan 21 15:30 +0900
Location
Virtual ASPDAC
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