Ray Turner (computer scientist)

Ray Turner
Born (1947-04-28) 28 April 1947
England
Nationality British
Occupation Professor
Employer University of Essex
Known for Publications on logic in computer science and the philosophy of computer science

Professor Raymond Turner (born 28 April 1947) is an English logician and theoretical computer scientist based at the University of Essex. He is best known for his work on logic in computer science and for his pioneering work in the philosophy of computer science. He is on the editorial boards for the Journal of Logic and Computation[1] and the Stanford Encyclopaedia of Philosophy, for Logic, Computation, and Agency.[2]. Covey award 2017.].

Books

  • Logics for Artificial Intelligence, 121 pages, E. Horwood, 1984, ISBN 0-470-20123-1
  • Truth and Modality for Knowledge Representation, 119 pages, Pitman, 1990, ISBN 0-273-03186-4
  • Constructive Foundations for Functional Languages, 288 pages, McGraw-Hill Publishing Co, 1 May 1991, ISBN 0-07-707411-4
  • Computable Models, 240 pages, Springer, 2009, ISBN 1-84882-051-8
  • Computational Artefacts: Towards a Philosophy of Computer Science, 285 pages, Springer, 2018, ISBN 978-3-662-55565-1

References

  1. ↑ Oxford Journals
  2. ↑ Plato at Stanford University
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.