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.
Research notes.
Working notes from ongoing research: technical design, derivations, experiments, literature, failed approaches, and questions still open.
2026
Exploring how data structures, plasticity, memory, neural dynamics, and biologically inspired representations might translate into computational primitives before deciding how those ideas should map onto hardware.
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.