Mark Carney


PhD student at the University of Leeds, and part time expert consultant and security researcher in Cybersecurity.

Research interests

Looking at Proof theory and Computability theory, specifically the logical properties of tiling problems, and how these relate to computability.


  • BA Music (Hons), with Philosophy
  • MSc Mathematics, University of Leeds