Ray Turner

Raymond Turner is an English logician, philosopher, and theoretical computer scientist based at the University of Essex. He is best known for his work on logic in computer science and pioneering contributions to the philosophy of computer science. He serves on the editorial boards for the Journal of Logic and Computation and the Stanford Encyclopedia of Philosophy.

England Apr 28, 1947 Wikipedia
logic computer science philosophy of computer science