计算理论基础

MartinD．Davis，著名计算机科学家和数学家。1950年在普林斯顿大学获得博士学位，与图灵同门（导师均为计算科学大师AlonzoChurch）。后长期任教于纽约大学柯朗数学研究所。他是自动演绎理论先驱，还是DPLL算法的发明人之一，Post-Turing机更使其声名远播。除本书外，他还著有经典名著ComputabilityandUnsolvability。RonSigal，资深软件工程师。1983年在纽约大学获得计算机科学博士学位。曾先后任教于纽约城市大学、意大利卡塔尼亚大学、耶鲁大学、Hofstra大学。他参与的软件项目有NASA的火星探路者、JBoss等。ElaineJ．Weyuker，著名女计算机科学家。美国国家工程院院士、IEEE和ACM会士、AT＆T院士、ACM妇女委员会主席、ACM执行委员，现任AT＆T实验室研究员。她的主要研究领域是软件测试与可靠性。此前曾任纽约大学柯朗数学研究所计算机科学教授近20年。