Samson is Christopher Strachey Professor of Computing, in the Department of Computer Science. He has worked in a wide range of areas in the semantics and logic of computation, including concurrency, domain theory (especially domain theory in logical form), lambda calculus, semantics of programming languages, and abstract interpretation and program analysis. He has recently been working on high-level methods for quantum computation and information.