Neil Murray

Researches artificial intelligence, automated deduction, and systems based on logic programming

The World Within Reach
Contact the Office of Media Relations at (518) 956-8150

Neil Murray

College of Engineering and Applied Sciences
Department: Computer Science

Automated deduction; computational logic; propositional logic; logic programming; analytic tableaux; theorem proving; multiple-valued logics; knowledge compilation

Campus phone: (518) 442-3393
Campus email:


Neil Murray, chair of the Department of Computer Science, researches the role of automated deduction and computational logic in computer programming. He is an expert in propositional logic, logic programming, analytic tableaux, theorem proving, multiple-valued logics, knowledge compilation, and artificial intelligence.

He has served on several conference program committees; as the local arrangements chair for the 11th Conference on Automated Deduction (CADE); and as treasurer and ex-officio trustee of CADE, Inc., from 1993 to the present. He was program chair for TABLEAUX'99, and symposium chair for the International Symposium on Methodologies for Intelligent Systems (ISMIS) 2005.

Murray received a bachelor's degree in engineering physics from Cornell University (1970) and a master's degree (1974) and doctorate (1979) in computer science from Syracuse University. He was an assistant professor at LeMoyne College in Syracuse from 1979-1982.