The lectures in this book provide graduate students and non-specialist researchers with a concise introduction to the concepts and formalism required to reduce the ten-dimensional string theories to the observable four-dimensional space-time - a procedure called string compactification. The text starts with a very brief introduction to string theory, first working out its massless spectrum and showing how the condition on the number of dimensions arises. It then dwells on the different possible internal manifolds, from the simplest to the most relevant phenomenologically, thereby showing that the most elegant description is through an extension of ordinary Riemannian geometry termed generalized geometry, which was first introduced by Hitchin. Last but not least, the authors review open problems in string phenomenology, such as the embedding of the Standard Model and obtaining de Sitter solutions.