mathematician and computer scientist