Mark Carney


PhD student at the University of Leeds, and part time security researcher and expert consultant at Security Research Labs, Berlin (

Research interests

Looking at Proof theory and Computability theory, and the usefulness of tilings and other combinatorial systems as representations and codings. 


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