He invented the notion of "end-incompressibility" and several of his students, such as Mark Brittenham, Charles Delman, and Rachel Roberts, have made important contributions to the ...