Personal Chair
Computer Science
Telephone: (01792) 602370
Email: JavaScript is required to view this email address.

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. & The NP Search Problems of Frege and Extended Frege Proofs. ACM Transactions on Computational Logic
  2. & Cobham Recursive Set Functions and Weak Set Theories. Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore 33, 55-116.
  3. & Deciding logics of linear Kripke frames with scattered end pieces. Soft Computing 21(1), 191-197.
  4. & Cobham recursive set functions. Annals of Pure and Applied Logic 167(3), 335-369.
  5. & Hyper Natural Deduction. Presented at 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science,IEEE.

See more...

Teaching

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

  • CSCM68 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 aim of this module is to provide an overview of embedded system design, to relate the most important topics in embedded system design to each other, and to obtain an appreciation of the model based approach to embedded systems design. The lab provides hands-on experience in the design of embedded systems, based on the lego-mindstorms kit. Awareness of logical concepts (propositional logic, first order logic) will help the understanding of this module. Due to the lab, the number of places available for this module is limited. Places will be allocated during the first week of teaching; the allocation criteria will be announced in the first lecture.

Supervision

  • The Combinatorics of Minimal Unsatisfiability (current)

    Student name:
    PhD
    Other supervisor: Dr Oliver Kullmann