Mathematical modelling of internal HIV dynamics

A mathematical model for the viral dynamics of HIV in an infected individual in the presence of HAART is studied and there is always a disease-free equilibrium (DFE) which is globally asymptotically stable for $R_0 < 1$.