Keith Clark

Keith Leonard Clark (born 29 March 1943) 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 (Hatfield College), graduating in 1964 with a first-class degree. He continued his studies at Cambridge University, taking a second undergraduate degree in Philosophy in 1966.

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 was a Visiting Associate Professor at University of California, Santa Cruz in 1977. 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. In 1976, he presented work on negation as failure at a workshop on logic programming held at Imperial College, the results of which were published in a landmark paper in 1978. He was the first to investigate negation as failure in the context of logic programs containing negative conditions, and developed a logical interpretation of how negation operated in such programs.

Selected publications Books

Book chapters

Journal articles