Olof Hagsand, Swedish Institute of Computer Science