JOB TITLE: Visitor RESEARCH AREA:Mathematical Logic RESEARCH INTERESTS: Logic, diophantine decision problems