Computational Neuroscience is the interdisciplinary study of nervous system function using mathematical models, computational methods, theoretical analysis, and quantitative data. It seeks to explain how neural systems represent information, process signals, learn, adapt, make decisions, generate behaviour, and produce cognition by relating observations at different biological scales to formal computational descriptions. The field spans molecular and cellular processes, individual neurons, synapses, local circuits, brain regions, whole brain networks, behaviour, and cognitive functions.
It is closely related to neuroscience, machine learning, artificial neural networks, cognitive science, dynamical systems theory, information theory, statistics, and control theory. A computational neuroscientist may construct a mechanistic model of membrane voltage, analyse the dynamics of a network of neurons, infer connectivity from experimental recordings, or develop a normative theory describing what computation would be useful for an organism performing a particular task.
The foundations of Computational Neuroscience draw on mathematical descriptions of neurons, information processing theories, control systems, cybernetics, and early theoretical neuroscience. The Hodgkin Huxley model, developed from experiments on squid giant axons, demonstrated how ionic conductances and membrane dynamics could be represented quantitatively and used to reproduce action potential behaviour. Later models simplified neuronal dynamics to make large networks computationally tractable, including integrate and fire models and related spiking neuron formulations.
The development of computational power enabled increasingly detailed simulations of neural circuits, while improved experimental techniques provided increasingly large datasets from electrophysiology, imaging, behaviour, and anatomy. Modern Computational Neuroscience therefore includes both theory driven modelling and data intensive analysis. Its historical development illustrates a recurring trade off between biological detail and computational tractability, because a model containing every known biological mechanism can become too complex to analyse or simulate effectively.
Neuron models operate at different levels of abstraction. Biophysical models may represent membrane potentials, ion channels, conductances, synaptic currents, and intracellular processes using differential equations. More abstract models may represent a neuron through its membrane potential and threshold crossing without explicitly modelling individual ion channels. Rate based models instead describe average neuronal activity rather than individual action potentials and are useful for analysing large populations. The choice of model depends on the scientific question.
A detailed model may be appropriate when investigating how a particular ion channel contributes to firing behaviour, whereas a simplified rate model may be preferable when studying large scale population dynamics. Model reduction is therefore an important skill because the purpose of a computational model is not necessarily to reproduce every biological detail but to retain mechanisms relevant to the phenomenon being investigated.
Neural circuits can be studied as dynamical systems whose states evolve over time according to interactions between neurons and external inputs. Excitatory and inhibitory connections can create feedback loops, oscillations, amplification, stabilisation, competition, synchronisation, or bistability. Network topology can influence how information flows through a circuit, and plasticity can change connection strengths according to activity.
Synaptic plasticity models include rules such as spike timing dependent plasticity, in which the relative timing of presynaptic and postsynaptic spikes influences changes in synaptic strength. Recurrent networks can maintain information after the original input disappears, while attractor models can represent stable patterns corresponding to memories or perceptual states. Oscillatory activity at different frequencies has been associated with many neural processes, although the functional interpretation of oscillations depends strongly on context and experimental evidence.
Information theory provides a framework for quantifying aspects of neural representation and communication. Entropy measures uncertainty in a variable, mutual information measures statistical dependence between variables, and information theoretic analyses can investigate how much a neural response reveals about a stimulus or behavioural variable. Encoding models describe how neural activity depends on inputs, whereas decoding models attempt to infer stimuli, actions, or other variables from neural activity.
These approaches can reveal what information is statistically present in a neural signal, but they do not automatically establish the mechanism by which the nervous system uses that information. A high decoding accuracy can occur because a measured neural population correlates with a variable without proving that the population is causally responsible for the behaviour. Causal inference therefore often requires perturbation experiments, interventions, or carefully designed analyses rather than observation alone.
Computational Neuroscience also addresses learning, decision making, perception, motor control, and cognition. Reinforcement learning models can describe how agents learn from rewards and update expectations, providing formal frameworks for investigating behavioural learning and neural signals associated with value and prediction errors. Bayesian models can describe perception as inference under uncertainty, while predictive processing frameworks propose that neural systems may use internal models to anticipate sensory inputs and update them when observations differ from predictions.
Motor control models investigate how the nervous system plans and executes movements despite noisy sensors, changing body dynamics, and delayed feedback. These frameworks can be compared with behavioural and neural data, allowing researchers to determine whether a computational principle provides an adequate explanation for observed performance rather than merely providing a plausible narrative.
Large scale neural datasets have increased the importance of statistical inference, dimensionality reduction, dynamical systems analysis, and machine learning within Computational Neuroscience. Electrophysiological recordings can contain activity from many neurons simultaneously, while calcium imaging and other techniques can provide spatially organised measurements across substantial populations. Researchers may identify low dimensional trajectories, latent states, functional connectivity patterns, or relationships between neural activity and behaviour. However, neural data are affected by noise, sampling limitations, measurement artefacts, and experimental constraints. Recorded neurons may not represent the entire circuit, and apparent functional connectivity does not necessarily correspond to direct anatomical connectivity. Reproducible analysis therefore requires appropriate controls, independent validation, statistical correction, and awareness of the distinction between descriptive patterns and mechanistic explanations.
A major challenge in Computational Neuroscience is the scale gap between microscopic biological mechanisms and macroscopic cognitive behaviour. Ion channel kinetics operate on very short time scales, synaptic interactions occur over milliseconds and longer periods, network dynamics can span seconds or minutes, and behaviour and learning may develop over days or years. Connecting these scales requires models that can preserve relevant mechanisms without becoming computationally unmanageable. Another challenge is underdetermination, because multiple models can generate similar observable behaviour.
Model comparison should therefore use quantitative predictions, independent datasets, parameter sensitivity analysis, and appropriate measures of complexity rather than selecting a model solely because it can reproduce known observations. The field ultimately aims to make neural explanations more precise by expressing hypotheses as formal computational mechanisms that can be simulated, analysed, tested, and revised against empirical evidence.
