Martin Davis

JOB TITLE: Visitor

RESEARCH AREA:Mathematical Logic

RESEARCH INTERESTS: Logic, diophantine decision problems

Martin Davis

YEAR DECEASED: 2023