Berkeley prof helped divvy up search to many servers