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
- Computerphile - Turing Machine Alternative (Counter Machines)
Further information
Research
Software Systems
The group studies design, modelling and engineering of software systems.
Computing Education Research Centre (CERC)
The Computing Education Research Centre at King's College London carries out research, develops tools, conducts studies, creates pedagogy, and supervises PhD projects related to computer science education.
Research
Software Systems
The group studies design, modelling and engineering of software systems.
Computing Education Research Centre (CERC)
The Computing Education Research Centre at King's College London carries out research, develops tools, conducts studies, creates pedagogy, and supervises PhD projects related to computer science education.