"For his incisive studies of the semi-classical limit of quantum mechanics, and in particular his trace formula relating the quantum spectrum to periodic classical orbits."