Faculty Experts
Contact the
Office of Media Relations at (518) 956-8150
|
|||||
|
Areas of expertise: Automated deduction; computational logic; propositional logic; logic programming; analytic tableaux; theorem proving; multiple-valued logics; knowledge compilation |
|||||
| Campus e-mail: | nvm@cs.albany.edu | ||||
| 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. |
| Faculty Web Page >> |
