Summary: We shall consider some mathematical models related to in-vivo dynamics of HIV and immune system. The interaction between HIV and immune system is much more complex than many other infections. In order to appreciate these models, an understanding of biology of disease virus is desirable. Hence in the following section, a brief account of the virus infection is given.