Why I'm keeping a public, read-only journal alongside the papers and notes — a place to share writing and updates directly, without turning every page into a comment thread.
The research archive.
Everything published here, in one place — papers, research notes, essays and projects. This is an archive first: durable, versioned, and citable.
10 of 10 publications
2026
We review the variational quantum eigensolver (VQE) as a near-term route to estimating molecular ground-state energies, formalise the variational principle it rests on, and analyse how the choice of ansatz and the measurement cost of a Pauli-decomposed Hamiltonian govern its practicality. A hybrid classical/quantum optimisation loop is described, and the conditions under which barren plateaus erase the method's advantage are made explicit.
Thinking through what it would take to build a small independent research institute alongside my academic development: how it should be structured, how it could collaborate with established laboratories and universities, and how fundamental research might eventually lead to publications, intellectual property, or spinouts.
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.
A computational foundation for numerical research, AI, simulation, formal verification and heterogeneous CPU/GPU/QPU execution.
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.
Neuromorphic computational foundationsActive direction
Data structures, plasticity, memory systems, sparse computation, biologically inspired representations and runtime-to-device mappings.
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.
Quantum algorithm & verification workbenchExploration
Quantum algorithm research paired with simulation, formal specification and hybrid classical/quantum workflows.
Hybrid neuromorphic/quantum systemsLong horizon
Relationships among neuromorphic computation, quantum machine learning, optoelectronic systems and emerging intelligent hardware.