Martin Davis

Visiting Scholar

Research

Primary Research Area:

Mathematical Logic

Research Interests:

Logic, diophantine decision problems

Contact Information

731 Evans Hall

eipye [at] pacbell [dot] net

http://cs.nyu.edu/cs/faculty/davism/