Optimization is ubiquitous in power system engineering. Drawing on powerful, modern tools from convex optimization, this rigorous exposition introduces essential techniques for formulating linear, second-order cone, and semidefinite programming approximations to the canonical optimal power flow problem, which lies at the heart of many different power system optimizations.  Meer