in his thesis he proved the cohen structure theorem for complete noetherian local rings. in 1946 he proved the unmixedness theorem for power series rings. as a result, cohen–macaulay rings are named after him and francis sowerby macaulay.