Richard Bukowski, Division of Computer Science, University of California, Berkeley