
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
Experience Report of the AWS+KCL Impact Accelerator for Public Sector Engagement
Bentley, C., Simperl, E., Bainbridge, M., Ogden, D., Leonardos, S., Jahangirova, G., Walker, J., Yin, W. & Hampson, C., 7 Jun 2024, (Accepted/In press) Conference on Software Engineering Education & Training.Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Ink: Non-repudiation for Large Language Models (LLMs) in Healthcare
Chapman, M., Fairweather, E. & Hampson, C., 2024, American Medical Informatics Association (AMIA) Informatics Summit.Research output: Chapter in Book/Report/Conference proceeding › Poster abstract › peer-review
Local Maximal Equality-free Periodicities
Alzamel, M., Daykin, J., Hampson, C., Iliopoulos, C., Lim, Z. & Smyth, W., 10 Apr 2023, (Accepted/In press) Mining Humanistic Data Workshop (AIAI 2023).Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
MUL-Tree Pruning for Consistency and Compatibility
Hampson, C., Harvey, D. J., Iliopoulos, C., Jansson, J., Lim, Z. & Sung, W.-K., 24 Mar 2023, (Accepted/In press) 34th Annual Symposium on Combinatorial Pattern Matching.Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
A Sound and Complete Dialogue System for Handling Misunderstandings
Xydis, A., Hampson, C., Modgil, S. & Black, E., 2022, The Fourth International Workshop on Systems and Algorithms for Formal Argumentation 2022. CEUR-WS, Vol. 3236. p. 19-32 14 p. (CEUR Workshop Proceedings).Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
On the termination and structural termination problems for counter machines with incrementing errors
Hampson, C., Sept 2021, In: JOURNAL OF COMPUTER AND SYSTEM SCIENCES. 120, p. 149-161 13 p.Research output: Contribution to journal › Article › peer-review
Enthymemes in dialogues
Xydis, A., Hampson, C., Modgil, S. & Black, E., 31 Aug 2020, Computational Models of argument. IOS Press BV, 8 p. (Frontiers in Artificial Intelligence and Applications; vol. 326).Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
On the termination problem for counter machines with incrementing errors
Hampson, C. S., 14 Jul 2019, (Accepted/In press) Reachability Problems - 13th International Conference, RP 2019, Proceedings. Filiot, E., Jungers, R. & Potapov, I. (eds.). p. 137-148 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11674 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations
Hampson, C. S., Kikot, S., Kurucz, A. & Roseiro Teles Marcelino, S., 1 May 2020, In: Annals of Pure and Applied Logic. 171, 5, p. 1-46 46 p., 102786.Research output: Contribution to journal › Article › peer-review
The bimodal logic of commuting difference operators is decidable
Hampson, C., 26 Aug 2018, (Accepted/In press) Advances in Modal Logic. (Advances in Modal Logic).Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Planning for persuasion
Black, E., Coles, A. J. & Hampson, C., 31 May 2017, 16th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2017. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), Vol. 2. p. 933-942 10 p.Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Decidable first-order modal logics with counting quantifiers
Hampson, C., 18 May 2016, Advances in Modal Logic. Vol. 11. 19 p.Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
The decision problem of modal product logics with a diagonal, and faulty counter machines
Hampson, C., Kikot, S. & Kurucz, A., Jun 2016, In: Studia Logica. 104, 3, p. 455-486Research output: Contribution to journal › Article › peer-review
Undecidable propositional bimodal logics and one-variable first-order linear temporal logics with counting
Hampson, C. & Kurucz, A., 1 Jul 2015, In: ACM Transactions on Computational Logic. 16, 3, 36 p., 27.Research output: Contribution to journal › Article › peer-review
One-variable first-order linear temporal logics with counting
Hampson, C. & Kurucz, A., 2013, Procs. Computer Science Logic (CSL 2013). p. 348-362Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
On Modal Products with the Logic of 'Elsewhere'
Hampson, C. & Kurucz, A., 2012, Advances in Modal Logic, Volume 9. Bolander, T., Brauner, T., Ghilardi, S. & Moss, L. (eds.). p. 339-347Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
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.
Experience Report of the AWS+KCL Impact Accelerator for Public Sector Engagement
Bentley, C., Simperl, E., Bainbridge, M., Ogden, D., Leonardos, S., Jahangirova, G., Walker, J., Yin, W. & Hampson, C., 7 Jun 2024, (Accepted/In press) Conference on Software Engineering Education & Training.Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Ink: Non-repudiation for Large Language Models (LLMs) in Healthcare
Chapman, M., Fairweather, E. & Hampson, C., 2024, American Medical Informatics Association (AMIA) Informatics Summit.Research output: Chapter in Book/Report/Conference proceeding › Poster abstract › peer-review
Local Maximal Equality-free Periodicities
Alzamel, M., Daykin, J., Hampson, C., Iliopoulos, C., Lim, Z. & Smyth, W., 10 Apr 2023, (Accepted/In press) Mining Humanistic Data Workshop (AIAI 2023).Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
MUL-Tree Pruning for Consistency and Compatibility
Hampson, C., Harvey, D. J., Iliopoulos, C., Jansson, J., Lim, Z. & Sung, W.-K., 24 Mar 2023, (Accepted/In press) 34th Annual Symposium on Combinatorial Pattern Matching.Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
A Sound and Complete Dialogue System for Handling Misunderstandings
Xydis, A., Hampson, C., Modgil, S. & Black, E., 2022, The Fourth International Workshop on Systems and Algorithms for Formal Argumentation 2022. CEUR-WS, Vol. 3236. p. 19-32 14 p. (CEUR Workshop Proceedings).Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
On the termination and structural termination problems for counter machines with incrementing errors
Hampson, C., Sept 2021, In: JOURNAL OF COMPUTER AND SYSTEM SCIENCES. 120, p. 149-161 13 p.Research output: Contribution to journal › Article › peer-review
Enthymemes in dialogues
Xydis, A., Hampson, C., Modgil, S. & Black, E., 31 Aug 2020, Computational Models of argument. IOS Press BV, 8 p. (Frontiers in Artificial Intelligence and Applications; vol. 326).Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
On the termination problem for counter machines with incrementing errors
Hampson, C. S., 14 Jul 2019, (Accepted/In press) Reachability Problems - 13th International Conference, RP 2019, Proceedings. Filiot, E., Jungers, R. & Potapov, I. (eds.). p. 137-148 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11674 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations
Hampson, C. S., Kikot, S., Kurucz, A. & Roseiro Teles Marcelino, S., 1 May 2020, In: Annals of Pure and Applied Logic. 171, 5, p. 1-46 46 p., 102786.Research output: Contribution to journal › Article › peer-review
The bimodal logic of commuting difference operators is decidable
Hampson, C., 26 Aug 2018, (Accepted/In press) Advances in Modal Logic. (Advances in Modal Logic).Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Planning for persuasion
Black, E., Coles, A. J. & Hampson, C., 31 May 2017, 16th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2017. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), Vol. 2. p. 933-942 10 p.Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Decidable first-order modal logics with counting quantifiers
Hampson, C., 18 May 2016, Advances in Modal Logic. Vol. 11. 19 p.Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
The decision problem of modal product logics with a diagonal, and faulty counter machines
Hampson, C., Kikot, S. & Kurucz, A., Jun 2016, In: Studia Logica. 104, 3, p. 455-486Research output: Contribution to journal › Article › peer-review
Undecidable propositional bimodal logics and one-variable first-order linear temporal logics with counting
Hampson, C. & Kurucz, A., 1 Jul 2015, In: ACM Transactions on Computational Logic. 16, 3, 36 p., 27.Research output: Contribution to journal › Article › peer-review
One-variable first-order linear temporal logics with counting
Hampson, C. & Kurucz, A., 2013, Procs. Computer Science Logic (CSL 2013). p. 348-362Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
On Modal Products with the Logic of 'Elsewhere'
Hampson, C. & Kurucz, A., 2012, Advances in Modal Logic, Volume 9. Bolander, T., Brauner, T., Ghilardi, S. & Moss, L. (eds.). p. 339-347Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
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.