Dr Peter Robinson    Lecturer

	Biography

Dr Peter Robinson's research interests are in: Logic programming, Intelligent Agents, Formal systems and Application of theorem proving to reasoning about software.

He received his PhD from Australian National University in 1977. His current research projects are in the field of:

• Using Intelligent Agents to Model Air Traffic Management

	Links
	Peter Robinson Home Page

	Keywords
	Science and Technology: Information Technology