Abstract
A mathematical model of the dynamics of the immune system is considered to illustrate the effect of its response to HIV infection, i.e. on viral growth and on T-cell dynamics. The specific immune response is measured by the levels of cytotoxic lymphocytes in a human body. The existence and stability analyses are performed for infected steady state and uninfected steady state. In order to keep infection under control, roles of drug therapies are analyzed in the presence of efficient immune response. Numerical simulations are computed and exhibited to illustrate the support of the immune system to drug therapies, so as to ensure the decay of infection and to maintain the level of healthy cells.