I will briefly provide some historical context discussing known results on exponential correlation decay (or exponential mixing) for Anosov flows, after which I will give criteria for obtaining exponential mixing for certain isometric extensions of these flows. I'll sketch a proof that locally accessible isometric extensions of Anosov flows are exponentially mixing under certain conditions - this includes, for example, certain classes of frame flows and flows on principle bundles. Speaker(s): Salman Siddiqi (U Michigan)