Es conocido por su trabajo acerca de métodos efectivos en la teoría de números, en particular, aquellos relacionados con la teoría de la trascendencia.