MQT QCECLast updated on 09 May 22Go to Project Site Code PyPI DocumentationVerificationLukas BurgholzerPhD StudentMy research interests include design automation for quantum computing, decision diagrams, and in particular equivalence checking of quantum circuits