Canadian mathematician and computer scientist