Dr. Ernest Davis Professor of Computer Science, Courant Institute of Mathematical Sciences, New York University