Keith Clark
Academic
Who is Keith Clark?
Keith Leonard Clark is a Professor of Computer Science at Imperial College London, England. He has lectured in both mathematics and computer science.
Clark earnt a Ph.D. in 1980 from Queen Mary, University of London with thesis titled Predicate logic as a computational formalism. Since 1979, Keith Clark has had an academic position in the Department of Computing, Imperial College London, where he has been Professor of Computational Logic since 1987. Between 1987 and 1995, he was also Visiting Professor at Uppsala University. He is currently a Visiting Professor at BTH, and at the University of Queensland. In 1980, he co-founded an Imperial College spin-off company, Logic Programming Associates, to develop and market Prolog systems for micro-computers and to provide consultancy on expert systems and rule based applications.
Clark's key contributions have been in the field of logic programming. His 1978 paper on negation as failure was arguably the first formalisation of a non-monotonic logic. His 1981 paper on a relational language for parallel programming introduced concurrent logic programming.
More recently, Clark has been working on the April and Go! programming languages and their application to agent programming.
We need you!
Help us build the largest biographies collection on the web!
Citation
Use the citation below to add to a bibliography:
Style:MLAChicagoAPA
"Keith Clark." Biographies.net. STANDS4 LLC, 2024. Web. 26 Apr. 2024. <https://www.biographies.net/people/en/keith_clark>.
Discuss this Keith Clark biography with the community:
Report Comment
We're doing our best to make sure our content is useful, accurate and safe.
If by any chance you spot an inappropriate comment while navigating through our website please use this form to let us know, and we'll take care of it shortly.
Attachment
You need to be logged in to favorite.
Log In