Anil Nerode — American mathematician | namepick