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.
AcronymEQuaL
StatusActive
Effective start/end date15/12/202414/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.