Realizó un doctorado sobre aproximaciones diofánticas bajo la supervisión de J. E. Littlewood y G.H.
Hardy en la Universidad de Cambridge, que completó en 1939.
También se le pidió que formulara el problema DBAR, para el operador
Esto se usa para mostrar teoremas de existencia para funciones holomorfas.
Formulado a nivel de varias cadenas complejas, esto da lugar a lo que ahora se llama cohomología de Spencer, una teoría sutil y difícil tanto de estructura formal como analítica.