Automated reasoning, especially hybrid reasoning and constraint solving; knowledge representation; inductive logic programming; natural language processing.
Primary Academic Appointments
Reader in Intelligent Systems Department of Computer Science, Univ. of York, August 1993-present.
– Head of the Artificial Intelligence Group, October 1999-present.
– Head of Intelligent Systems Group, August 1993-October 1999.
Assistant Professor of Computer Science, Univ. of Illinois at Urbana-Champaign, August 1986-July 1993.
Research Fellow, Cognitive Studies Programme, Univ. of Sussex, October 1984-July 1986.
Lecturer (Assistant Professor) in Artificial Intelligence, Univ. of Sussex, October 1983-September 1984.
Instructor, Computer Science Department, Univ. of Rochester, September 1982-December 1982.
Instructor, Summer Initiation Program, Univ. of Rochester, July 1982.
Visiting Research Fellow, Univ. of Melbourne, Australia, March-June 2008.
Visiting Fellow, Meme Media Laboratory, Hokkaido Univ., Japan, December 1998-February 1999.
Visiting Fellow, Max Planck Institute for Informatics, Saarbruecken, Germany, January 1993.
Visiting Fellow, School of Computer Studies, Univ. of Leeds, July 1990 and June-July 1991.
Visiting Scientist, I.B.M. T. J. Watson Research Center, January 1990-June 1990.
Consultant, Motorola Inc., Corporate Offices, Schaumburg, Illinois, 1988-1991.
Development Programmer, IBM Corp., January 1977-July 1978.
Scientific Programmer, Reactor Analysis and Safety Division, Argonne National Lab., June 1976-Aug. 1976.
Research Programmer, AI Laboratory, Carnegie-Mellon Univ., August 1974-May 1976.