MQT QMAP
Lukas Burgholzer
PhD Student
My research interests include design automation for quantum computing, decision diagrams, and in particular equivalence checking of quantum circuits
My research interests include design automation for quantum computing, decision diagrams, and in particular equivalence checking of quantum circuits