Chair of the Department of Computer Science, Neil Murray
Neil 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. 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