John Canny, University of California, Berkeley