James J. Lu's Research Summary Page

Background

My interest in Computer Science started with a couple of Programming Languages courses that I took as an undergraduate at Iowa. The first is the undergraduate concepts course, taught by Professor Arthur Fleck, and second the graduate semantics course, taught by Professor Ray Ford. At Syracuse I took two more language theory courses, from Professor John C. Reynolds, on Floyd-Hoare Logic and Scott Domain Theory. At the same time, I was introduced to Theorem Proving by Professor Ernest Sibert. After a two plus year stint in the "real world", I returned to school, at Northwestern, and completed a Ph.D. in Automated Theorem Proving under Professor Lawrence Henschen. Among my "unofficial" mentors, I am grateful to Professor V.S. Subrahmanian who, as a fellow Syracuse graduate student, introduced me to Logic Programming, and to Professors Neil Murray and Erik Rosenthal for the many marathon research sessions.

Interest

I remain interested in various aspects of logic programming and theorem proving, particularly inference techniques for certain non-standard logics. But I also have interest in data models, query processing, data integration, constraint databases, heuristic search and propositional satisfiability. Below are select references in these and other areas.

Select Publications