This is an introduction to spin foam models for non-perturbative quantum gravity, an approach that lies at the point of convergence of many different research areas, including loop quantum gravity, topological quantum field theories, path integral quantum gravity, lattice gauge theory, matrix models, category theory, statistical mechanics. We describe the general formalism and ideas of spin foam models, the picture of quantum geometry emerging from them, and give a review of the results obtained so far, in both the Euclidean and Lorentzian case. We focus in particular on the Barrett-Crane model for 4-dimensional quantum gravity.