The course provides a mathematical introduction to contraction theory for dynamical systems. Contractivity is a robust and computationally-friendly stability theory. Special emphasis is given to continuous-time differential equations arising in the study of network multi-agent systems, neural networks, gradient dynamical systems, monotone dynamics, and semi-contracting systems. The course is intended primarily for graduate students interested in nonlinear dynamical systems, control, computation and optimization.