Martin Davis

Plenary talk: Alan Turing & the advent of the computer
Tuesday July 23rd 21:30-22:30 in room Restaurant Luftkastellet

About Martin Davis

Born in New York City in 1928, Martin Davis was a student of Emil L. Post at City College and his doctorate at Princeton in 1950 was under the supervision of Alonzo Church. Davis's book "Computability and Unsolvability" (1958) has been called "one of the few real classics in computer science." He is best known for his pioneering work in automated deduction and for his contributions to the solution of Hilbert's tenth problem for which latter he was awarded the Chauvenet and Lester R. Ford Prizes by the Mathematical Association of America and the Leroy P. Steele Prize by the American Mathematical Society. In 1983 he was a Guggenheim Foundation Fellow, and was awarded a Townsend Harris medal by the Alumni Association of City College in 2001. His books have been translated into a number of languages including Russian and Japanese. Davis has been on the faculty of the Courant Institute of Mathematical Sciences of New York University since 1965, was one of the charter members of the Computer Science Department founded in 1969, and is now Professor Emeritus. He is a Visting Scholar at the University of California, Berkeley.