  We consider Schr\"odinger operators at a fixed high frequency on simply
connected compact Riemannian manifolds with non-positive sectional curvatures
and smooth strictly convex boundaries. We prove that the Dirichlet-to-Neumann
map uniquely determines the potential.
