Hugh Woodin is a leading figure in modern set theory, having made many contributions to the field, in particular to descriptive set theory and large cardinals. This book offers a detailed treatment of his method of the stationary tower that is generally accessible to graduate students in mathematical logic.