- Ehrenfeucht's website at the University of Colorado
- Breaking away from the mathbook website Archived 2010-03-10 at the Wayback Machine
- Andrzej Ehrenfeucht at DBLP Bibliography Server
- Andrzej Ehrenfeucht at the Mathematics Genealogy Project
Andrzej Ehrenfeucht | |
|---|---|
| Born | August 8, 1932 |
| Nationality | Polish American |
| Alma mater | University of Warsaw |
| Scientific career | |
| Fields | Mathematics |
| Institutions | University of Colorado at Boulder |
| Doctoral advisor | Andrzej Mostowski |
| Doctoral students | David Haussler Eugene Myers |
Andrzej Ehrenfeucht (Polish: [ˈand.ʐɛj ˈɛrɛnfɔjxt], born 8 August 1932) is a Polish-American mathematician and computer scientist.
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.[1]
Two journal issues have come out in his honor, one at his 65th birthday in Lecture Notes in Computer Science,[2] and one at his 80th in Theoretical Computer Science.[3]
Ehrenfeucht married Alfred Tarski's daughter Ina Tarski.[4]