Message from the Chair

Neil V. Murray, Ph.D.
Professor and Chair, Department of Computer Science

Professor Murray received the B.S. in engineering physics from Cornell University in 1970, and the M.S. and Ph.D. in computer science from Syracuse University in 1974 and 1979, respectively.

Neil V. Murray
Chair of the Department of Computer
Science, Neil Murray

He began as Assistant Professor at LeMoyne College from 1979-1982 and is currently Professor and Chair in the Department of Computer Science. He also served as CSI Chair from 1999 to 2006, and is currently serving as the Graduate Chair.

His main research interest is in automated deduction. In particular the development of inference techniques for non-clausal (usually negation normal form) formulas and related tableau-based techniques. His research activities also include the extension of deductive techniques to various multiple-valued, annotated, and fuzzy logics. His recent investigations have focused on knowledge compilation and highly selective prime implicate algorithms.