JOB TITLE: Visitor Courant Institute In Memoriam AMS Memorial Tribute Wikipedia page RESEARCH AREA:Mathematical Logic RESEARCH INTERESTS: Logic, diophantine decision problems