Polish mathematician and computer scientist