Professor
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

Publications

  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...

Teaching

  • 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.

Supervision

  • Secure asset tracing systems. (current)

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

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

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

    Student name:
    PhD
    Other supervisor: Dr Phillip James