Andrzej Ehrenfeucht ( 8. August 1932 in Vilnius) ist ein polnisch-US-amerikanischer Mathematiker und Informatiker (Mathematische Logik, Bioinformatik). Ehrenfeucht studierte Mathematik an der Universität Warschau und wurde am Institut für Mathematik der Polnischen Akademie der Wissenschaften bei Andrzej Mostowski promoviert. Seit 1972 ist er an der University of Colorado at Boulder, wo er Professor für Informatik und Distinguished Professor der Universität ist. Ehrenfeucht befasste sich mit mathematischer Logik und Modelltheorie. Hier ist er für die Technik der Ehrenfeucht-Fraïssé-Spiele bekannt (mit dem Franzosen Roland Fraïssé aus dessen Dissertation 1950), die es erlaubt die Äquivalenz oder Nicht-Äquivalenz von Strukturen in der Modelltheorie zu zeigen