I give a short introduction to the phenomenon of color superconductivity
in dense baryonic matter of the nature which may be found in neutron star
cores. Color superconductivity can be understood as arising from quark
Cooper pair condensation at the Fermi surface. Although the phenomenon may
be analysed using weak-coupling methods, I then argue for the desirability
of a complete systematic understanding of strongly-interacting matter at
all densities, and briefly explain why Lattice QCD has been unable to
provide one. Cooper pairing and other non-perturbative phenomena are then
discussed in the context of two simpler but simulable model field
theories, the NJL model and Two Color QCD.
