Nachum Dershowitz
Professor
Computer Science
Tel Aviv University
Israel
Biography
Nachum Dershowitz Faculty of Computer Science Department, Tel Aviv University, Israel. His Field of Research Interests are Theoretical Computing: Rewrite Systems; Church-Turing Thesis; Theorem Proving; Analog Algorithms; Logic Artificial Intelligence: Automated Reasoning; Program Synthesis Programming Languages: Functional; Logic-based; Equational Software Engineering: Calendar Algorithms; Program Verification; Program Transformation Computational Humanities: Analysis of Historical Manuscripts; Machine Translation; Electronic Commerce.
Research Interest
Theoretical Computing: Rewrite Systems; Church-Turing Thesis; Theorem Proving; Analog Algorithms; Logic Artificial Intelligence: Automated Reasoning; Program Synthesis Programming Languages: Functional; Logic-based; Equational Software Engineering: Calendar Algorithms; Program Verification; Program Transformation Computational Humanities: Analysis of Historical Manuscripts; Machine Translation; Electronic Commerce.
