About Me

I am a Lecturer in Computer Science Education in the Department of Informatics at King's College London. My research interests lie in propositional and first-order modal logics, the computational complexity of their decision problems, and their axiomatisations. I am particularly interested in products of modal logics, and first-order logics modal logics extended with additional counting quantifiers.

Programme Comittee Membership

  • 14th European Conference on Multi-Agent Systems (EUMAS’17)
  • 22nd European Conference on Artificial Intelligence (ECAI’16)

I am also a reviewer for the American Mathematical Society (AMS).


christopherSimple.hampsonemail @obfuscation kcl.ac.uk

King's College London

Go to Site »