This book focuses on functional phase space methods in quantum optics and provides a comprehensive introduction to the Wigner functional formalism. The book shows how this formalism can be used for analyzing and designing practical photonic quantum information systems. It also explains in detail the application of the Wigner functional formalism to parametric down-conversion, an important process in quantum optics.