Contact the Office of Media Relations at (518) 956-8150
College of Computing and Information
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, 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. 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.