Contact the Office of Media Relations at (518) 956-8150
College of Computing and Information
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: firstname.lastname@example.org
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.