Donald Ervin Knuth is an American computer scientist, mathematician, and Professor Emeritus at Stanford University.
American(donaldErvinKnuth) ∧ ComputerScientist(donaldErvinKnuth) ∧ Mathematician(donaldErvinKnuth) ∧ ProfessorEmeritusAt(donaldErvinKnuth, stanford)