This book provides an introduction to noncommutative geometry and presents a number of its recent applications to particle physics. In the first part, we introduce the main concepts and techniques by studying finite noncommutative spaces, providing a "light" approach to noncommutative geometry. We then proceed with the general framework by defining and analyzing noncommutative spin manifolds and deriving some main results on them, such as the local index formula. In the second part, we show how noncommutative spin manifolds naturally give rise to gauge theories, applying this principle to...