University of New South Wales - Application of logic programming, compiler technology, computers and biology, knowledge acquisition, knowledge representation, logic programming systems, program analysis, and signal recognition.
University of Udine - Knowledge based system development, student modeling, user modeling, intelligent information retrieval, intelligent information filtering.
Baruch College, The City University of New York - Temporal databases, nested relations, statistical and scientific databases, geographic information systems.