CD4 and HIV infectious disease: In conclusion, we here present a modelling approach that incorporates time-resolved CFSE proliferation analyses of antigen-specific CD8 and CD4 T cells into a population model of HIV infection dynamics.