Pym, David J. http://www.dcs.qmw.ac.uk/~pym/
Queen Mary and Westfield College - Semantics of programming languages, type theory, proof-search, logic programming, theorem proving.
Schmidt, Renate http://www.cs.man.ac.uk/~schmidt/
University of Manchester - Modal logic, resolution theorem proving, resolution decision problems, relation algebras, Peirce algebras and knowledge representation.
Scott, Dana http://www.cs.cmu.edu/~scott/
Carnegie Mellon University - Model theory, set theory, foundations of logic and mathematics, symbolic mathematical computation.