Christopher Hampson

Dr. Christopher Hampson is a Senior Lecturer in Computer Science (Education) at King’s College London's Department of Informatics, part of the Faculty of Natural, Mathematical & Engineering Sciences. He specializes in theoretical computer science, modal logics, and algorithmic complexity. He holds an MSc in Mathematical Logic from the University of Manchester and a PhD from King’s College London on modal logic topics.

His research focuses on

• Modal and Temporal Logics
• Computational Complexity
• Formal Verification
• Counter Machine Theory
• Computer Science Education

Recent work includes studies on non-repudiation in healthcare AI systems (2024), termination analysis of faulty counter machines (2021), and dialogue systems for handling misunderstandings (2022). He collaborates with the Computing Education Research Centre (CERC) to advance pedagogical tools and curricula in computer science.

Awards: none explicitly listed. Supervision: no named advisees found. Active in research groups focused on formal methods and education innovation.