Ernest Davis is professor of computer science at the Courant Institute of Mathematical Sciences, New York University.
