Taylor, Andrew
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.