Personal Chair
Computer Science
Telephone: (01792) 602370
Email: JavaScript is required to view this email address.
Room: Academic Office - 312
Third Floor
Faraday Building (Tower Block)
Singleton 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. & Hyper Natural Deduction for Gödel Logic — a natural deduction system for parallel reasoning. Journal Logic Computation
  2. & Total Search Problems in Bounded Arithmetic and Improved Witnessing. In Logic, Language, Information, and Computation. (pp. 31-47). Springer.
  3. & The NP Search Problems of Frege and Extended Frege Proofs. ACM Transactions on Computational Logic 18(2), 1-19.
  4. & Cobham Recursive Set Functions and Weak Set Theories. In Sets and Computations. (pp. 55-116). World Scientific.
  5. & Deciding logics of linear Kripke frames with scattered end pieces. Soft Computing 21(1), 191-197.

See more...


  • CSC368 Embedded System Design

    Embedded systems are information processing systems embedded into enclosing products such as cars, telecommunication or fabrication equipment. They are essential for providing ubiquitous information, one of the key goals of modern information technology. The module will give an overview of embedded system design, relate the most important topics in embedded system design to each other, and provide the students with hands-on experience with typical design challenges in embedded systems. Awareness of propositional and first order logic will help the understanding of this module. Due to an associated lab, a restriction is in place on the number of places available for this module.


  • The combinatorics of minimal unsatisfiability (current)

    Student name:
    Other supervisor: Dr Oliver Kullmann
  • Service Composition for Cyber-Security and Safety (current)

    Student name:
    Other supervisor: Prof Markus Roggenbach