A lattice in a Euclidean space is called extremal if it is a local maximum of the packing density function in its dimension. An old theorem of Voronoi gives a beautiful characterization of extremal lattices in terms of their geometric properties. We will review Voronoi's criterion, and then apply it to exhibit families of extremal lattices coming from some algebraic and arithmetic constructions.