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., Milne, A., Razafindrakoto, J., Kumar, P., Breach, M., Preining, N. Blockchain‐Based Cyber Physical Trust Systems Madhusanka Liyanage An Braeken Pardeep Kumar Mika Ylianttila(Ed.), IoT Security 265 277 Wiley
  2. Beckmann, A., Buss, S. On transformations of constant depth propositional proofs Annals of Pure and Applied Logic
  3. Beckmann, A., Buss, S., Friedman, S., Müller, M., Thapen, N. Feasible set functions have small circuits Computability 8 1 67 98
  4. 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
  5. Beckmann, A., Razafindrakoto, J., Razafindrakoto, J. Total Search Problems in Bounded Arithmetic and Improved Witnessing Logic, Language, Information, and Computation 10388 31 47

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 DLT and Blockchain. (current)

    Other supervisor: Dr Pardeep Kumar
  • The combinatorics of minimal unsatisfiability (current)

    Other supervisor: Dr Oliver Kullmann
  • Sustainable Digital Frameworks to Support Deployment of Autonomous Analytics in Knowledge Intensive Manufacturing Environments (current)

    Other supervisor: Dr Phillip James