Andrzej Ehrenfeucht ( born August 8, 1932) 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é (1920-2008) in his PhD thesis. Ehrenfeucht married Alfred Tarski's daughter Ina Tarski.