|
Banquet Speech Martin Davis, University of California, Berkeley, USA Martin Davis, a distinguished logician, is also the author of Computability and Unsolvability, which has been called one of the few real classics in computer science. A professor emeritus at New York University’s Courant Institute of Mathematical Sciences and frequent lecturer, he is currently a visiting scholar at the University of California in Berkeley, where he now lives. |