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
Further information
Research
Software Systems
The group studies design, modelling and engineering of software systems.