He worked on algebraic manifolds with ample tangent bundles and was the first to prove the Hartshorne conjecture in 1978.
Siya ay nagtrabaho sa algebraic manifolds na may sapat pasapyaw bundle at ang unang upang patunayan ang Hartshorne haka-haka sa 1978.