Real algebraic geometry is the study of semi-algebraic sets; i.e., sets that are unions of solution sets to systems of multivariate polynomial equations and inequalities over the real numbers. We present some recent applications of theorems of real algebraic geometry to (structural) computational complexity theory.