Project Details
Description
This PhD project, financed by DeiC, investigates new algorithms to check equivalence of quantum circuits. This is an important problem in quantum computing, specifically when using sophisticated compilation strategies. The project employs a novel data structure called tensor decision diagrams and uses advanced machine-learning techniques to obtain efficient contraction heuristics.
Layman's description
This PhD project, financed by DeiC, investigates new algorithms to check equivalence of quantum circuits. Checking equivalence is an important problem in quantum computing.
Acronym | EQuaL |
---|---|
Status | Active |
Effective start/end date | 15/12/2024 → 14/12/2027 |
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.