A summary is presented of a range of mathematical models that relate to topical microbicidal molecules, applied vaginally to inhibit HIV transmission. These models contribute to the fundamental understanding of the functioning of those molecules, as introduced in different delivery systems. They also provide computational tools that can be employed in the practical design and evaluation of vaginal microbicide products. Mathematical modeling can be implemented, using stochastic principles, to understand the probability of infection by sexually transmitted HIV virions. This provides a frame of reference for the deterministic models of the various processes that underlie HIV transmission and its inhibition, including: the temporal and spatial history of HIV migration from semen to vaginal epithelial surfaces and thence to the underlying stroma; the time and spatial distribution of microbicidal drugs as delivered by various vehicles (e.g., gels, rings, films, and tablets)-this is central to understanding microbicide product pharmacokinetics; and the time and space history of the drug interactions with HIV directly and with host cells for HIV within the vaginal environment-this informs the understanding of microbicide pharmacodynamics. Models that characterize microbicide functionality and performance should and can interface with both in vitro and in vivo experimental studies. They can serve as a rapidly applied, inexpensive tool, to facilitate microbicide R&D, in advance of more costly and time consuming clinical trials.