Martin D. Davis

American mathematician and computer scientist noted for foundational work in computability theory and automated reasoning. He contributed to the negative solution of Hilbert's tenth problem (with Putnam, Robinson, and Matiyasevich) and co-developed the Davis–Putnam and DPLL algorithms. Author of Computability and Unsolvability and Engines of Logic, and longtime professor at NYU's Courant Institute.