Keith Clark (computer scientist)

Last updated

Keith L. Clark
Born (1943-03-29) March 29, 1943 (age 82)
NationalityBritish
Alma mater
Scientific career
Fields
Institutions
Thesis Predicate Logic as a Computational Formalism  (1980)
Doctoral advisor Robert Kowalski
Website www.doc.ic.ac.uk/~klc/

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. [1]

Contents

Education

Clark studied Mathematics at Durham University (Hatfield College), graduating in 1964 with a first-class degree. [2] [3] [4] He continued his studies at Cambridge University, taking a second undergraduate degree in Philosophy in 1966. [4] He earned a Ph.D. in 1980 from the University of London. [5]

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. [4] He lectured in Computer Science at the Mathematics Department of Queen Mary College from 1969 to 1975. [4] 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. [6] He was a Visiting Associate Professor at University of California, Santa Cruz in 1977. [4]

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 (micro-Prolog) and to provide consultancy on expert systems and other logic programming applications. [4] [7] He was appointed Professor of Computational Logic at Imperial College in 1987. [8]

As a researcher, his key contributions have been in the field of logic programming. [9] More recent research interests include multi-agent systems, cognitive robotics and multi-threading. [10]

References

  1. ↑ Jean-Louis Lassez; Gordon Plotkin, eds. (1991). Computational Logic — Essays in Honor of Alan Robinson . Cambridge/MA: MIT Press. p. 723. ISBN   0-262-12156-5.
  2. ↑ "Results of Final Examinations held in June 1964". University of Durham Gazette Supplement. XI (New Series): 7. 30 September 1964. Retrieved 26 August 2024.
  3. ↑ "Durham University MathSoc". Facebook . 9 December 2015. Retrieved 16 May 2019. Prof Clark graduated from our department in 1964 (Hatfield College), before embarking on a career in artificial intelligence and computational logic
  4. 1 2 3 4 5 6 "Curriculum Vitae: Keith Leonard Clark" (PDF). AIST. 1984. pp. 4–5. Retrieved 3 September 2025.
  5. ↑ Predicate logic as a computational formalism (PhD thesis). University of London. 1980. Retrieved 9 January 2013.
  6. ↑ "talks@bham : Rule Control of Goal Directed, Reactive, Communicating Robotic Agents". Birmingham University. Retrieved 16 May 2019.
  7. ↑ "Temporal Logic Semantics for Teleo-Reactive Robotic Agent Programs". cse.cuhk.edu.hk. Chinese University of Hong Kong.
  8. ↑ "Prof. Keith Clark". INSTICC. 2018. Archived from the original on 3 September 2025. Retrieved 3 September 2025.
  9. ↑ Keith L. Clark at DBLP Bibliography Server OOjs UI icon edit-ltr-progressive.svg
  10. ↑ "Keith Clark's Home Page" . Retrieved 11 May 2023.
This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.