I am a postdoc working on semantics of probabilistic programming in Oxford.