Mark Allman, International Computer Science Institute