Mathematical Sciences Foundation

Prof. Nachum Dershowitz is a distinguished expert in the field of Artificial Intelligence and related areas. He has also published many books on the subject and developed computer software dealing with calendars etc.
His main areas of research have been in Automatic Programming and Automatic Reasoning; Functional, Logic based and Equational programming languages; in Theorem proving and logic in Theoretical computing; Calendar algorithms; Programme Verifications; Programme Transformations; and Rewriting Systems. Prof. Dershowitz is very interested in Astronomy.

Phone No: (91-11) 65182616, 29230401 Fax No: (91-11) 29230401, Website: http:// www.mathscifound.org