NTHRYS › PhD Assistance › Formal Methods

Formal Methods

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Formal Verification of Quantum Computing Algorithms

Development of formal methods frameworks and proof techniques for establishing correctness and resource bounds of quantum algorithms and circuits.