Keith Clark (computer scientist)
Keith Leonard Clark is a British computer scientist. He is Emeritus Professor in the Department of Computing at Imperial College London, England.
Education
Clark studied Mathematics at Durham University, graduating in 1964 with a first-class degree. He continued his studies at Cambridge University, taking a second undergraduate degree in Philosophy in 1966. He earned a Ph.D. in 1980 from the University of London.Career and research
Clark lectured in mathematics at City of London Polytechnic from 1966 to 1967, and then spent a year as a teacher in Sierra Leone with Voluntary Service Overseas. He lectured in Computer Science at the Mathematics Department of Queen Mary College from 1969 to 1975. That year he moved to Imperial College London, where he became a Senior Lecturer in the Department of Computer Science, and joined Robert Kowalski in setting up the logic programming group. He was a Visiting Associate Professor at University of California, Santa Cruz in 1977.In 1980, with colleague Frank McCabe, he founded an Imperial College spin-off company, Logic Programming Associates, to develop and market Prolog systems for microcomputers and to provide consultancy on expert systems and other logic programming applications. He was appointed Professor of Computational Logic at Imperial College in 1987.
As a researcher, his key contributions have been in the field of logic programming. More recent research interests include multi-agent systems, cognitive robotics and multi-threading.