About
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.
Find Christopher Hampson elsewhere
Related Searches
You Might Also Like
![Nikolaj Popov](https://www3.risc.jku.at/people/pictures/npopov-screen.jpg?id=53192290")
Nikolaj PopovJohannes Kepler University Linz · Research Professor
Christopher PulteUniversity of Cambridge · Research Fellow
Alessio MansuttiMax Planck Institute for Software Systems · Assistant Professor- CChristophe GarionNational Institute of Applied Sciences of Rouen · Associate Professor
Maribel FernandezKing’s College London · Professor
Jeffery RaphaelKing’s College London · Lecturer