Biography

Martin Davis wrote a book called "Engines of Logic" describing computers and their history. His title is accurate. But it is amazing how phenomena from video games to music engraving software emerge from, basically, physically realised arithmetic (it does, however, make the emergence of personalities from biochemistry seem more plausible). I'm interested in the philosophy of computer science. I am specifically working on mechanised logic: formalising mathematics using computers and, on the flip side, building logical models of computer systems, usually with an aim of improving their safety or security. I believe we can learn a lot about meaning by examining our use of computer systems, but there are many secrets hiding in plain sight.