Italian mathematician and computer scientist