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. Beckmann, A., Buss, S. On transformations of constant depth propositional proofs Annals of Pure and Applied Logic
  2. Beckmann, A., Buss, S., Friedman, S., Müller, M., Thapen, N. Feasible set functions have small circuits Computability 8 1 67 98
  3. Beckmann, A., Preining, N. Hyper Natural Deduction for Gödel Logic—A natural deduction system for parallel reasoning Journal of Logic and Computation 28 6 1125 1187
  4. Beckmann, A., Razafindrakoto, J., Razafindrakoto, J. Total Search Problems in Bounded Arithmetic and Improved Witnessing Logic, Language, Information, and Computation 10388 31 47
  5. Beckmann, A., Buss, S. 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 Data Systems for CPS Data Retrieval using Blockchain. (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
  • Sustainable Digital Frameworks to Support Deployment of Autonomous Analytics in Knowledge Intensive Manufacturing Environments (current)

    Student name:
    Other supervisor: Dr Phillip James