PD/PI: Erik Rosenthal, Professor of Mathematics, University of New Haven

Ph.D., Mathematics, University of California, Berkeley, 1977

M.S., Computer Science, University At Albany, SUNY, 1985

M.A., Mathematics, University of California, Berkeley, 1968

B.A., Mathematics, Queens College, CUNY Flushing, 1966

Erik Rosenthal received a Ph.D. in Mathematics with a specialty in functional analysis from the University of California at Berkeley. He was there in the sixties and considers himself a veteran of what he calls the Berkeley Wars. He first came to the University of New Haven in 1980, where his mathematical interests switched to automated deduction, apparently in an attempt to get computers to prove the theorems that he himself had failed to prove. His research has produced sixty publications and several National Science Foundation grants. He has also published two novels -- mysteries whose unemployed mathematician hero pays the rent as a private investigator.

PI: Neil V. Murray, Professor of Computer Science, University At Albany, SUNY

Ph.D., Computer Science, Syracuse University, 1979

M.S., Computer Science, Syracuse University, 1974

B.S., Engineering Physics, Cornell University, 1970

Neil V. Murray was assistant professor at LeMoyne College in Syracuse from 1979-1982. He served as chair in the Department of Computer Science at the University at Albany, SUNY, from 1999-2006 and is currently a professor and Graduate Director for the department. 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.

Graduate and Undergraduate Research Assistants

University At Albany, SUNY

Andrew Matusiewicz, Ph.D. Candidate

University of New Haven

Three undergraduate students are participating in the project at the University of New Haven:

John Bergan, Majoring in Mathematics

Melody Johnson, Majoring in Chemical Engineering and Fire Protection Engineering

Kevin Palmer, Majoring in General Engineering with Minor in Mathematics