Main interests: Concurrency, Types, Domain Theory. Other interests: Logic, Categories, Probabilistic Semantics, Game Theory.