Working through how CPUs, GPUs, simulators, and QPUs should interact inside a research environment, including orchestration, data movement, workload placement, reproducibility, and where quantum subroutines actually belong in a larger classical computing pipeline.
Computer Science
3 publications tagged Computer Science.
2026
A computational foundation for numerical research, AI, simulation, formal verification and heterogeneous CPU/GPU/QPU execution.
Formal methods for quantum research workflowsworking paper
Exploring how Lean, Coq, Isabelle/HOL, Z3, and TLA+ could complement tools such as Qiskit, PennyLane, Braket, and QuTiP — from mathematical specifications and proofs to circuit verification and the infrastructure coordinating classical and quantum execution.