Skip to main content
Dr Christopher Hampson
Dr Christopher Hampson

Dr Christopher Hampson

Senior Lecturer in Computer Science (Education)

Research interests

  • Computer science

Biography

Chris is a senior lecturer in computer science education specialising in logic and theoretical computer science, including algorithmic complexity and the theory of computation. He obtained his MSc in Mathematical Logic and the Theory of Computation from The University of Manchester before completing his PhD in Modal Logic at King’s College London.

Research interests

  • Modal and Temporal Logics
  • Algorithms and Computational Complexity
  • Mathematics and Computer Science Education

Public engagement

Further information

    Research

    ARTICLE Code
    Software Systems

    The group studies design, modelling and engineering of software systems.

      Research

      ARTICLE Code
      Software Systems

      The group studies design, modelling and engineering of software systems.