Nicholas Weaver, International Computer Science Institute