With the recent explosion of popularity of commercial social-networking sites like Facebook and MySpace, the size of social networks that can be studied scientifically has passed from the scale traditionally studied by sociologists and anthropologists to the scale of networks more typically studied by computer scientists. In this chapter, I will highlight a recent line of computational research into the modeling and analysis of the \emph{small-world phenomenon}---the observation that typical pairs of people in a social network are connected by very short chains of intermediate friends---and the ability of members of a large social network to collectively find efficient routes to reach individuals in the network. I will survey several recent mathematical models of social networks that account for these phenomena, with an emphasis both on provable properties of these social-network models and on the empirical validation of the models against real large-scale social-network data.