Research topics
One hub per domain the federation works in. Each puts the science next to the evidence: a rigorous introduction, the runnable lessons and sealed measurements this site ships, and the canonical external literature — every reference verified at source.
15 topics · 50 verified references · glossary →
Synchronisation and the Kuramoto model
How large populations of coupled oscillators fall into step — the mathematics behind phase coherence.
Neuromorphic computing · spiking neural networksNeuromorphic and spiking neural networks
Computing with discrete spikes in continuous time, and the hardware built to run it.
Magnetic confinement fusion · plasma controlTokamak control and plasma safety
Holding a burning plasma inside its magnetic cage — and staying inside the safety envelope.
Fusion plasma physics · equilibrium reconstructionPlasma equilibrium reconstruction
Inferring the internal state of a fusion plasma from external measurements.
Operator-theoretic dynamics · predictive controlKoopman operators and predictive control
Turning a nonlinear system into a linear one on the space of observables — and controlling it there.
Quantum control · pulse optimisationQuantum optimal control
Shaping control pulses that drive a quantum system to a target state.
Computational neuroscience · dimensionality reductionNeural population geometry
Finding the low-dimensional structure in the activity of many neurons at once.
Cyber-physical systems · co-simulation and formal methodsFormal co-simulation and merge verification
Coupling independent simulators correctly, and proving the coupling holds.
Scientific computing · bit-exact reproducibilityReproducible and bit-exact numerics
Why the same computation differs across machines and languages — and how to make it agree.
Research integrity · cryptographic provenanceVerifiable provenance and transparency
Signing scientific claims, and keeping an append-only record anyone can check.
Unconventional computing · probabilistic bitstreamsStochastic computing
Arithmetic on random bitstreams — trading precision for tiny, error-tolerant hardware.
Cognitive computing · distributed representationHyperdimensional computing and vector symbolic architectures
Representing structured meaning in very high-dimensional random vectors.
Concurrency modelling · neuro-symbolic controlNeuro-symbolic control and stochastic Petri nets
The modelling substrate that runs through the whole federation: learned components inside a symbolic, analysable net.
Neuromorphic hardware · reconfigurable logicNeuromorphic hardware and FPGA synthesis
From a portable spiking model to gates on a chip — and the sub-microsecond triggers it enables.
Fusion plasma physics · pulsed compressionMagneto-inertial fusion and field-reversed configurations
The pulsed middle ground between magnetic and inertial confinement.