Verification of Quantum Circuits

Wille, R. (Speaker)

Chair of Design Automation

Activity: Talk or presentation › Invited talk

Description

We are visiting the IBM Research team in Haifa and give a talk on "Verification of Quantum Circuits".

Period	1 Aug 2022
Held at	IBM Haifa, Israel

Keywords

Design Automation
Quantum Computing