Main interests: Probabilistic Semantics, Mobility, Types, Domain Theory. Other interests: Logic, Categories, Bialgebraic Semantics, Security, Game Theory.