Keith Clark has first degrees in both Mathematics and Philosophy, and a PhD in Computational Logic. Most of his academic career has been at Imperial College London where he is now an Emeritus Professor. He is also an Honorary Professor at UQ Brisbane and UNSW Sydney, where he has long standing research collaborations.
His research has covered: theoretical results in computational logic, design and implementation of new logic programming languages, including concurrent languages, rule languages for programming communicating agents optionally controlling physical devices such as robots. . With research students and RAs he has explored general AI applications as well software and robotic agent applications of these languages. He has co-authored two text books, one on automata theory the other on Prolog AI programming, and co-edited the first book of research papers on logic programming.
He has consulted for the Japanese Fifth Generation Project, Hewlett Packard, IBM, Fujitsu and two start-ups, one in Sweden and one in California. He is a co-founder of the Prolog software and consultancy company Logic Programming Associates (LPA).