Allen Clement, University of Texas at Austin