We review the literature on HIV infection and treatment from a mathematical modeler's perspective. We examine dynamical ODE models of HIV infection, including target-cell limited immune-controlled models. We investigate various control theoretic approaches to the determination of optimal treatment from these models. Finally, we examine the application of insights gained from modeling experience to two questions arising in clinical practice: when to initiate therapy and whether to consider treatment interruption.