Entre sus notables logros estaba la demostración de la conjetura de Soul.