Nicholas Weaver, International Computer Science Institute (ICSI) and University of California, Berkeley