Computer Science
Telephone: (01792) 602370
Email: JavaScript is required to view this email address.
Room: Office - 402
Fourth Floor
Computational Foundry
Bay Campus

Areas of Expertise

  • Mathematical Logic
  • Theoretical Computer Science
  • Proof theory and proof complexity
  • Bounded arithmetic and propositional proof complexity
  • Implicit computational complexity
  • Reduction systems
  • Intermediate predicate logics


  1. & On transformations of constant depth propositional proofs. Annals of Pure and Applied Logic
  2. & Feasible set functions have small circuits. Computability 8(1), 67-98.
  3. & Hyper Natural Deduction for Gödel Logic—A natural deduction system for parallel reasoning. Journal of Logic and Computation 28(6), 1125-1187.
  4. & (2017). Total Search Problems in Bounded Arithmetic and Improved Witnessing. Presented at Logic, Language, Information, and Computation,, 31-47.24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings. doi:10.1007/978-3-662-55386-2_3
  5. & The NP Search Problems of Frege and Extended Frege Proofs. ACM Transactions on Computational Logic 18(2), 1-19.

See more...


  • CSCM29 Blockchain, Cryptocurrencies and Smart Contracts

    This is a module on modern blockchain technology and its major applications. It will give an overview on the technological setup of major cryptocurrencies, and introduce the blockchain as a concept for determining the order of events in a distributed database. In addition, it will discuss the implementation of smart contracts and summarise the current state of the art of security issues in cryptocurrencies, blockchain technology, and smart contracts.


  • Secure asset tracing systems. (current)

    Student name:
    Other supervisor: Dr Pardeep Kumar
  • Untitled (current)

    Student name:
    Other supervisor: Dr Anton Setzer
  • The combinatorics of minimal unsatisfiability (current)

    Student name:
    Other supervisor: Dr Oliver Kullmann
  • Untitled (current)

    Student name:
    Other supervisor: Dr Phillip James