Martin Davis (mathematician)

Martin Davis
Davis in 1996
Born	Martin David Davis (1928-03-08)March 8, 1928 New York City, U.S.
Died	January 1, 2023(2023-01-01) (aged 94) Berkeley, California, U.S.
Alma mater	City College of New York (AB) Princeton University (PhD)
Known for	Davis–Putnam algorithm DPLL algorithm Work on Hilbert's tenth problem
Spouse	Virginia Whiteford Palmer ​ ​ (m. 1951)​
Awards	Chauvenet Prize (1975)
Scientific career
Institutions	Bell Labs RAND Corporation New York University University of California, Berkeley
Thesis	On the Theory of Recursive Unsolvability (1950)
Doctoral advisor	Alonzo Church
Doctoral students	Moshe Koppel Donald W. Loveland

Martin David Davis (March 8, 1928 – January 1, 2023) was an American mathematician and computer scientist who contributed to the fields of computability theory and mathematical logic. His work on Hilbert's tenth problem led to the MRDP theorem. He also advanced the Post–Turing model and co-developed the Davis–Putnam–Logemann–Loveland (DPLL) algorithm, which is foundational for Boolean satisfiability solvers.

Davis won the Leroy P. Steele Prize, the Chauvenet Prize (with Reuben Hersh), and the Lester R. Ford Award. He was a fellow of the American Academy of Arts and Sciences and a fellow of the American Mathematical Society.