Andrzej Ehrenfeucht formulated the
Ehrenfeucht–Fraïssé game, using the
back-and-forth method given in
Roland Fraïssé's
PhD thesis. Also named for Ehrenfeucht is the
Ehrenfeucht–Mycielski sequence. In 1971 Ehrenfeucht was a founding member of the Department of
Computer Science at the
University of Colorado at Boulder. He currently teaches and does research at the University, where he runs a project, "breaking away", with Patricia Baggett; the project, using hands-on activities, aims at raising high-school students' interest in
mathematics and
technology. Two of Ehrenfeucht's students,
Eugene Myers and
David Haussler, contributed to the sequencing of the
human genome. They, with Harold Gabow, Ross McConnell, and
Grzegorz Rozenberg, spoke at a 2012 University of Colorado two-day symposium honoring Ehrenfeucht's 80th birthday. Two journal issues have come out in his honor, one at his 65th birthday in
Lecture Notes in Computer Science, and one at his 80th in
Theoretical Computer Science.
Private life Ehrenfeucht married
Alfred Tarski's daughter Ina Tarski. == Bibliography ==