Martin Davis

Professor of Computer Science and Mathematics
Ph.D, Princeton University

Professor Davis was a student of Emil L. Post at City College and his doctorate at Princeton in 1950 was supervised by Alonzo Church. Davis's book Computability and Unsolvability (1958) has been called ``one of the few real classics in computer science.'' He is best known for his pioneering work in automated deduction and for his contributions to the solution of Hilbert's tenth problem for which he was awarded the Chauvenet and Lester R. Ford Prizes by the Mathematical Association of America and the Leroy P. Steele Prize by the American Mathematical Society. His books have been translated into a number of languages including Russian and Japanese. Professor Davis has been on the faculty of the Courant Institute, New York University, since 1965, and was one of the charter members of the Computer Science Department.

  1. M. Davis, (1993). ``First Order Logic,'' Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. I Logical Foundations, (Eds. Gabbay, Hogger & Robinson), 31--65, Oxford.

  2. M. Davis, R. Sigal and E.J. Weyuker, (1994). Computability,Complexity, and Languages, Second Edition, Academic Press.

  3. M. Davis, Ed. (1994). Solvability, Provability, Definability: The Collected Works of Emil L. Post. Includes his article: ``Emil L. Post: His Life and Work,'' xi--xxviii, Birkhäuser.