News
Faculty Experts
Contact the Office of Media Relations at (518) 956-8150
Neil V. Murray
Professor, Chair
Department of Computer Science
Areas of expertise:
Automated deduction; computational logic; propositional logic; logic programming; analytic tableaux; theorem proving; multiple-valued logics; knowledge compilation
Automated deduction; computational logic; propositional logic; logic programming; analytic tableaux; theorem proving; multiple-valued logics; knowledge compilation
Campus e-mail:
Campus phone:
(518) 442-3393
Biography:
Neil Murray received a bachelor's in engineering physics from Cornell University (1970), and a master's (1974) and doctorate (1979) in computer science from Syracuse University. He was assistant professor at LeMoyne College in Syracuse from 1979-1982, and is currently professor and chair in the Department of Computer Science at UAlbany. 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 International Symposium on Methodologies for Intelligent Systems (ISMIS) 2005.
Neil Murray received a bachelor's in engineering physics from Cornell University (1970), and a master's (1974) and doctorate (1979) in computer science from Syracuse University. He was assistant professor at LeMoyne College in Syracuse from 1979-1982, and is currently professor and chair in the Department of Computer Science at UAlbany. 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 International Symposium on Methodologies for Intelligent Systems (ISMIS) 2005.
