doctoral_advisor birth_place nationality fields workplaces birth_date doctoral_students article_title name alma_mater
andrzej mostowski wilno , poland polish american mathematics university of colorado at boulder 08 august 1932 david haussler don jenson eugene myers andrzej ehrenfeucht
 andrzej ehrenfeucht university of warsaw
andrzej ehrenfeucht

andrzej ehrenfeucht -lrb- , born august 8 , 1932 -rrb- 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 thesis .
the ehrenfeucht -- mycielski sequence is also named after him .
ehrenfeucht married alfred tarski 's daughter ina tarski .
in 1971 he was a founding member of the department of computer science at the university of colorado .
ehrenfeucht is currently teaching and doing research at the university of colorado , where he runs the project `` breaking away '' together with patricia baggett .
the project aims at raising high school students ' interest in mathematics and technology with hands-on projects .
two of his students , eugene myers and david haussler , were contributors to the sequencing of the human genome .
haussler and myers , along with harold gabow , ross mcconnell and grzegorz rozenberg spoke at a two-day symposium in honor of his 80th birthday , which was organized at the university of colorado in 2012 .
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 .
