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.
logic
computer science
philosophy of computer science