Quantized contact transformations are Toeplitz operators over a contact manifold of the form , where is a Szegö projector, where is a contact transformation and where is a pseudodifferential operator over . They provide a flexible alternative to the Kähler quantization of symplectic maps, and encompass many of the examples in the physics literature, e.g. quantized cat maps and kicked rotors. The index problem is to determine when the principal symbol is unitary, or equivalently to determine...