This paper provides an analytical framework with foundations in stochastic geometry to characterize the spatiotemporal interference correlation as well as the joint coverage probability at two spatial locations in a cellular network. In particular, modeling the locations of cellular base stations (BSs) as a Poisson point process, we study interference correlation at two spatial locations ℓ ₁ and ℓ ₂ separated by a distance v, when the user follows the closest BS association policy at both spatial locations and moves from ℓ ₁ to ℓ ₂ . With this user displacement, two scenarios can occur: i) the user is handed off to a new serving BS at ℓ ₂ , or ii) no handoff occurs and the user is served by the same BS at both locations. After providing intermediate results, such as probability of handoff and distance distributions of the serving BS at the two user locations, we use them to derive exact expressions for spatio-temporal interference correlation coefficient and joint coverage probability for any distance separation v. We also study two different handoff strategies: i) handoff skipping, and ii) conventional handoffs, and derive the expressions of joint coverage probability for both strategies. The exact analysis is not straightforward and involves a careful treatment of the neighborhood of the two spatial locations and the resulting handoff scenarios. To provide analytical insights, we also provide easy-to-use expressions for two special cases: i) static user (v = 0) and ii) highly mobile user (v → ∞). As expected, our analysis shows that the interference correlation and joint coverage probability decrease with increasing v, with v → ∞ corresponding to a completely uncorrelated scenario. Further design insights are also provided by studying the effect of few network/channel parameters, such as BS density and path loss on the interference correlation.