Mathematical modelling can provide vital information on the effectiveness and practical implementation of microbicides and vaccines against HIV. This project will produce mathematical models of the earliest stages of HIV infection suitable for investigation of the implementation of vaccines and microbicides. It will provide a framework to investigate why these interventions have performed poorly to date, and how these may be better implemented.