H.E.T. Haultain, professor of Mining Engineering