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.
I am also a reviewer for the American Mathematical Society (AMS).
christopher.hampson @ kcl.ac.uk