News & Events
In Memoriam: Martin Davis (1928-2023)
We are grieved to announce that Martin Davis and his wife Virginia passed away on January 1, 2023. Martin was a faculty member at Courant from 1965 until his retirement in 1996, and was one of the founding members of the Computer Science department. He was one of the leading figures of his generation in mathematical logic and computation theory, best known for his contributions to the proof of the unsolvability of Diophantine equations and to the Davis-Putnam-Logemann-Loveland algorithms for Boolean satisfiability. He was an admired colleague and a beloved friend. Our condolences to his friends and family.