The new field of viral dynamics, based on within-host modeling of viral infections, began with models of human immunodeficiency virus (HIV), but now includes many viral infections. Here we review developments in HIV modeling, emphasizing quantitative findings about HIV biology uncovered by studying acute infection, the response to drug therapy and the rate of generation of HIV variants that escape immune responses. We show how modeling has revealed many dynamical features of HIV infection and how it may provide insight into the ultimate cure for this infection.