Andrzej Ehrenfeucht

About

Andrzej Ehrenfeucht is a Polish American mathematician and computer scientist. He formulated the Ehrenfeucht–Fraïssé game, using the back-and-forth method given by Roland Fraïssé in his PhD thesis. The Ehrenfeucht–Mycielski sequence is also named after him.