 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.