Martin Davis was an American mathematician, known for his work on Hilbert's tenth problem.
Find out more at: https://mathshistory.st-andrews.ac.uk/Biographies/Davis/