1 citations · 1 across the 3 of their papers we have counts for
3 papers
physics.ed-ph2026
The Quantum Learning Pyramid (QLP): A Novel, Holistic, Industry-Ready Curriculum and Pedagogical Methodology for Quantum Computing Education
Arun Govindankutty
Quantum computing education is becoming urgent as industry demand and national initiatives grow rapidly. This paper introduces the Quantum Learning Pyramid (QLP), a unified pedagog…
quant-ph2026
Bit-Vector Abstractions to Formally Verify Quantum Error Detection & Entanglement
Arun Govindankutty
As the number of qubits increases, quantum circuits become more complex and their state space grows rapidly. This makes functional verification challenging for conventional techniq…
quant-ph2026★ 1 cited
Formally Verifying Quantum Phase Estimation Circuits with 1,000+ Qubits
Arun Govindankutty, Sudarshan K. Srinivasan
We present a scalable formal verification methodology for Quantum Phase Estimation (QPE) circuits. Our approach uses a symbolic qubit abstraction based on quantifier-free bit-vecto…