About Martin Davis
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. Davis first worked on Hilbert's tenth problem during his PhD dissertation, working with Alonzo Church. Davis was also known for his model of Post–Turing machines. Ford Award for his expository writing related to his work on Hilbert's tenth problem, and in 1975 he won the Leroy P.
Biography source: Wikipedia. The profile adds birthday-specific historical context from the Celebs Birthday Today editorial database.